summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore17logplain
-rw-r--r--Makefile570logplain
-rw-r--r--Readme.md2468logplain
-rw-r--r--WORKSPACE51logplain
d---------app / java31logplain
d---------nix105logplain
-rw-r--r--shell.nix594logplain