Eric Berberich 863f0c4de5 enable preconfiguration for external libs (for now only NTL, RS, MPFI), others to come

2011-04-17 19:55:06 +00:00

..

developer_scripts

Quote the script path, that can contain spaces.

2011-04-14 10:20:04 +00:00

package_info/Scripts

Remove changes.txt files.

2008-07-24 17:47:16 +00:00

scripts

enable preconfiguration for external libs (for now only NTL, RS, MPFI), others to come

2011-04-17 19:55:06 +00:00

dont_submit

removed old script

2009-06-22 07:43:04 +00:00