Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 50 | log plain blame |
-rw-r--r-- | .merlin | 58 | log plain blame |
-rw-r--r-- | .ocp-indent | 52 | log plain blame |
-rw-r--r-- | CHANGES.md | 71 | log plain blame |
-rw-r--r-- | LICENSE.md | 732 | log plain blame |
-rw-r--r-- | README.md | 630 | log plain blame |
-rw-r--r-- | _tags | 86 | log plain blame |
d--------- | doc | 111 | log plain |
-rw-r--r-- | example.log | 85 | log plain blame |
-rw-r--r-- | opam | 578 | log plain blame |
d--------- | pkg | 66 | log plain |
d--------- | src | 106 | log plain |