tree | 5cdc62a52cf96fef3e221133c0b929130809839c |
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 | 551 | opam_setup.sh | blobblamehistoryraw |
drwxr-xr-x | - | scripts | treehistory |
drwxr-xr-x | - | src | treehistory |
drwxr-xr-x | - | test | treehistory |
drwxr-xr-x | - | tools | treehistory |