| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 30 | logplain |
| -rw-r--r-- | .ocamlformat | 34 | logplain |
| d--------- | bin | 67 | logplain |
| -rw-r--r-- | dune-project | 475 | logplain |
| d--------- | lib | 177 | logplain |
| -rw-r--r-- | ogit.opam | 554 | logplain |
| d--------- | test | 72 | logplain |
 |
index : ogit.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Marius Peter |
| summaryrefslogtreecommitdiff |