]> gitweb.michael.orlitzky.com - sage.d.git/tree
makefile: timeout overrides should no longer be necessary
-rw-r--r-- 717 COPYING
-rw-r--r-- 34523 LICENSE
-rw-r--r-- 502 README
-rw-r--r-- 349 init.sage
-rw-r--r-- 177 makefile
drwxr-xr-x - mjo