Removed debug output.master
tree17b61dcdc21bcff95600cc5f3dabe27cb36f7539
-rw-r--r-- 113 .ditz-config
-rw-r--r-- 323 .gitignore
-rw-r--r-- 185 AUTHORS
-rw-r--r-- 15129 COPYING
-rw-r--r-- 36139 ChangeLog
-rw-r--r-- 182 INSTALL
-rw-r--r-- 4070 Makefile.in
drwxr-xr-x - bugs
-rw-r--r-- 226 cadabra.desktop
-rw-r--r-- 3681 cadabra.png
-rw-r--r-- 9079 cadabra.svg
-rwxr-xr-x 213924 configure
-rw-r--r-- 8599 configure.in
drwxr-xr-x - doc
drwxr-xr-x - examples
drwxr-xr-x - gui
drwxr-xr-x - html
-rwxr-xr-x 6406 install-sh
drwxr-xr-x - man
drwxr-xr-x - src
drwxr-xr-x - tests
drwxr-xr-x - texmacs