| tree | 0700457bae2b6401b174b57558c169c0ab9dfac3 |
| drwxr-xr-x | .. | ||
| -rw-r--r-- | 216 | .gitignore | blobblamehistoryraw |
| -rw-r--r-- | 14 | 00_config.ocp | blobblamehistoryraw |
| -rw-r--r-- | 5836 | 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-- | 1981 | 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 |