Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 17 | logplain |
-rw-r--r-- | .gitlab-ci.yml | 302 | logplain |
-rw-r--r-- | Makefile | 570 | logplain |
-rw-r--r-- | Readme.md | 2815 | logplain |
-rw-r--r-- | WORKSPACE | 51 | logplain |
d--------- | app / java | 31 | logplain |
d--------- | nix | 105 | logplain |
-rw-r--r-- | shell.nix | 617 | logplain |