tree | e82434caa8ade2eba57d02553c5937e1e85d38d8 |
drwxr-xr-x | - | .github | treehistory |
-rw-r--r-- | 329 | .gitignore | blobblamehistoryraw |
-rw-r--r-- | 18 | .merlin | blobblamehistoryraw |
-rw-r--r-- | 1176 | CHANGES | blobblamehistoryraw |
-rw-r--r-- | 18018 | Copying.txt | blobblamehistoryraw |
-rw-r--r-- | 35 | Developers.txt | blobblamehistoryraw |
-rw-r--r-- | 24 | Install.txt | blobblamehistoryraw |
-rw-r--r-- | 179 | README.md | blobblamehistoryraw |
drwxr-xr-x | - | config | treehistory |
-rwxr-xr-x | 1200 | configure | blobblamehistoryraw |
drwxr-xr-x | - | distrib | treehistory |
drwxr-xr-x | - | docs | treehistory |
drwxr-xr-x | - | icons | treehistory |
-rw-r--r-- | 755 | opam | blobblamehistoryraw |
drwxr-xr-x | - | packages | treehistory |
drwxr-xr-x | - | patches | treehistory |
drwxr-xr-x | - | src | treehistory |
drwxr-xr-x | - | tools | treehistory |