Kill stray whitespace and add due credit
tree17d736322ede9e2c379725fc45598eeb31c19588
-rw-r--r-- 48 .dir-locals.el
-rw-r--r-- 1198 BUILDING
-rw-r--r-- 50 INSTALL
-rw-r--r-- 7897 KEYS
-rw-r--r-- 385 README
-rw-r--r-- 645 Thanks
drwxr-xr-x - be
-rw-r--r-- 2116 build.ninja
-rw-r--r-- 4945 buildall.sh
-rw-r--r-- 56279 config.ml
-rwxr-xr-x 1277 configure
-rw-r--r-- 167 doocaml
-rw-r--r-- 70 fixme
-rw-r--r-- 10936 glfont.c
-rw-r--r-- 1075 keystoml.ml
-rw-r--r-- 66966 keysym2ucs.c
drwxr-xr-x - le
-rw-r--r-- 128852 link.c
-rwxr-xr-x 4493 llppac
-rw-r--r-- 183264 main.ml
-rw-r--r-- 166 mkhelp.sh
-rw-r--r-- 9436 parser.ml
-rw-r--r-- 1136 pp.sed
-rw-r--r-- 41 tbs
-rw-r--r-- 3692 utils.ml
-rw-r--r-- 1597 wsel.c
-rw-r--r-- 32418 wsi.ml
-rw-r--r-- 1252 wsi.mli