Change default slice height to make text scroll smoother on this machine
tree81a1abfbd14b977c810e4512f6cb5f20440bd721
-rw-r--r-- 971 BUILDING
-rw-r--r-- 1414 KEYS
-rw-r--r-- 273 README
-rw-r--r-- 148 Thanks
-rw-r--r-- 3003 build.ml
-rw-r--r-- 509 build.sh
-rw-r--r-- 36293 link.c
-rw-r--r-- 38185 main.ml
-rw-r--r-- 794 tbs