summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore286logplain
-rw-r--r--COPYING35147logplain
-rw-r--r--OMakefile1066logplain
-rw-r--r--OMakeroot198logplain
-rw-r--r--README.rst6252logplain
-rw-r--r--context-license.txt18487logplain
-rw-r--r--context-readme.rst660logplain
-rw-r--r--context_mirror_bot.ml26801logplain