tree | 733a2cc4cda07922d508ab7448938c75dd0fc58a |
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 | 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 |