| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 25 | logplain |
| -rw-r--r-- | CHANGES.md | 931 | logplain |
| -rw-r--r-- | CODEOWNERS | 103 | logplain |
| -rw-r--r-- | INSTALL | 666 | logplain |
| -rw-r--r-- | LICENSE | 1392 | logplain |
| -rw-r--r-- | Makefile | 171 | logplain |
| -rw-r--r-- | README.md | 822 | logplain |
| -rw-r--r-- | VERSION | 5 | logplain |
| d--------- | bin | 68 | logplain |
| -rw-r--r-- | biniou-format.txt | 6314 | logplain |
| -rw-r--r-- | biniou.opam | 1511 | logplain |
| d--------- | debian | 627 | logplain |
| -rw-r--r-- | dune-project | 1253 | logplain |
| d--------- | src | 617 | logplain |
| d--------- | test | 74 | logplain |
 |
index : biniou | |
| Debian dgit repo for package biniou |
| summaryrefslogtreecommitdiff |