Added dumb option detection to tomc
-rw-r--r-- 23 .gitignore
-rw-r--r-- 24 CONTRIBUTING
-rw-r--r-- 35149 COPYING
-rw-r--r-- 439 LAYOUT
-rw-r--r-- 261 Makefile
-rw-r--r-- 2392 README
drwxr-xr-x - guile
drwxr-xr-x - include
-rwxr-xr-x 25 kill-tomd.sh
-rwxr-xr-x 61 run.sh
drwxr-xr-x - src