JohnCremona/eclib — pull request #2 by gobbledygook88 (2013-10-01 11:49:44+00:00)
Title: Clean up.

- Removed `tmanin_prof` from `/tests`
- Changed values of Autoconf tests to `1` instead of confusing `/\*\*/`
- Added GPL licensing