| tree | 2c738f8e75646dca2f06faf897c31e9c103913aa |
| drwxr-xr-x | .. | ||
| -rw-r--r-- | 217 | .gitignore | blobblamehistoryraw |
| -rw-r--r-- | 14 | 00_config.ocp | blobblamehistoryraw |
| -rw-r--r-- | 5840 | 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-- | 6150 | 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-- | 1880 | make.bat | blobblamehistoryraw |
| drwxr-xr-x | - | man | treehistory |
| -rwxr-xr-x | 641 | opam_setup.sh | blobblamehistoryraw |
| drwxr-xr-x | - | scripts | treehistory |
| drwxr-xr-x | - | src | treehistory |
| drwxr-xr-x | - | test | treehistory |
| drwxr-xr-x | - | tools | treehistory |