diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/dune | 4 | 
1 files changed, 1 insertions, 3 deletions
| @@ -1,6 +1,4 @@  (executable   (public_name ogit)   (name main) - (libraries -   dream -   ogit.handlers)) + (libraries dream handlers)) | 
|  | index : ogit.git | |
| Mobile-friendly clone of cgit. | Marius Peter | 
| summaryrefslogtreecommitdiff |