Changing default RPM built to GCL.5.43.0
[maxima.git] / admin / 
tree31d66381e1b41786a54f33bb87d43bdcbb8f5393
drwxr-xr-x   ..
-rw-r--r-- 29 Makefile.am
-rw-r--r-- 842 TODO
-rwxr-xr-x 243 compare_cvs_tarball
-rwxr-xr-x 3072 create-and-compare-git-autoconf-tarballs.sh
-rwxr-xr-x 5996 list_authors.pl
-rwxr-xr-x 1513 make_share_list
-rwxr-xr-x 957 make_snapshots
-rw-r--r-- 3646 sfquery-docs.txt
-rwxr-xr-x 8724 sfquery.py