| tree | a1d253dba03b441da9f1e0c8c22ab50189ad204b |
| drwxr-xr-x | .. | ||
| -rw-r--r-- | 216 | .gitignore | blobblamehistoryraw |
| -rw-r--r-- | 14 | 00_config.ocp | blobblamehistoryraw |
| -rw-r--r-- | 5951 | CMakeLists.txt | blobblamehistoryraw |
| -rw-r--r-- | 1080 | LICENSE | blobblamehistoryraw |
| -rw-r--r-- | 599 | README.md | blobblamehistoryraw |
| -rw-r--r-- | 1511 | README.ocpbuild | blobblamehistoryraw |
| -rw-r--r-- | 1789 | README.win32 | blobblamehistoryraw |
| -rw-r--r-- | 940 | THIRD-PARTY | blobblamehistoryraw |
| drwxr-xr-x | - | bin | treehistory |
| -rw-r--r-- | 6498 | build.ocp | blobblamehistoryraw |
| -rw-r--r-- | 699 | configure | blobblamehistoryraw |
| drwxr-xr-x | - | doc | treehistory |
| drwxr-xr-x | - | editor-plugins | treehistory |
| drwxr-xr-x | - | hhi | treehistory |
| -rw-r--r-- | 2364 | make.bat | blobblamehistoryraw |
| drwxr-xr-x | - | man | treehistory |
| -rwxr-xr-x | 540 | opam_setup.sh | blobblamehistoryraw |
| drwxr-xr-x | - | scripts | treehistory |
| drwxr-xr-x | - | src | treehistory |
| drwxr-xr-x | - | test | treehistory |
| drwxr-xr-x | - | tools | treehistory |