Make trimcachefile setting persistent
treee99325252207c23744c554986832159a7509b507
-rw-r--r-- 94 .dir-locals.el
-rw-r--r-- 50 .gitignore
-rw-r--r-- 216 .mailmap
-rw-r--r-- 12 .merlin
-rw-r--r-- 32 .ocp-indent
-rw-r--r-- 917 BUILDING
-rw-r--r-- 50 INSTALL
-rw-r--r-- 192 LICENSE
-rw-r--r-- 271 README
-rw-r--r-- 806 Thanks
drwxr-xr-x - adoc
-rwxr-xr-x 9903 build.bash
-rw-r--r-- 49456 config.ml
-rw-r--r-- 1730 cutils.c
-rw-r--r-- 799 cutils.h
-rw-r--r-- 3191 ffi.ml
-rw-r--r-- 3738 genconfstr.sh
-rw-r--r-- 11892 glfont.c
-rw-r--r-- 1780 glutils.ml
-rw-r--r-- 7924 help.ml
-rw-r--r-- 176 help.mli
-rw-r--r-- 620 keys.ml
drwxr-xr-x - lablGL
-rw-r--r-- 105114 link.c
-rw-r--r-- 23256 listview.ml
-rw-r--r-- 151918 main.ml
-rw-r--r-- 0 main.mli
drwxr-xr-x - misc
-rw-r--r-- 9099 parser.ml
-rw-r--r-- 767 todo.org
-rw-r--r-- 123 utf8syms.ml
-rw-r--r-- 9074 utils.ml
-rw-r--r-- 115 version.c
-rw-r--r-- 1593 wsi.mli
drwxr-xr-x - wsi