| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .envrc | 220 | logplain |
| -rw-r--r-- | .gitignore | 91 | logplain |
| -rw-r--r-- | NOTES.md | 143 | logplain |
| d--------- | bs5 | 383 | logplain |
| -rw-r--r-- | devenv.nix | 4032 | logplain |
| -rw-r--r-- | devenv.yaml | 576 | logplain |
 |
index : bs5ocaml.git | |
| [no description] | Gitolite user |
| summaryrefslogtreecommitdiff |