| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 25 | logplain |
| -rw-r--r-- | Changes | 1053 | logplain |
| -rw-r--r-- | INSTALL | 666 | logplain |
| -rw-r--r-- | LICENSE | 1392 | logplain |
| -rw-r--r-- | Makefile | 115 | logplain |
| -rw-r--r-- | README.md | 840 | logplain |
| -rw-r--r-- | VERSION | 5 | logplain |
| d--------- | bin | 70 | logplain |
| -rw-r--r-- | biniou-format.txt | 6314 | logplain |
| -rw-r--r-- | biniou.opam | 477 | logplain |
| d--------- | debian | 626 | logplain |
| d--------- | src | 619 | logplain |
| d--------- | test | 76 | logplain |
 |
index : biniou | |
| Debian dgit repo for package biniou |
| summaryrefslogtreecommitdiff |