Jay Larson 2bd3e645cb The following changes were made to Makefile:
* added BRIEF
  * moved to new version scheme
  * moved make and make install out of variables
  * split off separate dev package
  * fixed patch loop
2017-04-06 12:32:35 -05:00
2016-09-25 14:29:58 -05:00
2016-09-25 14:29:58 -05:00
Description
No description provided
847 KiB
Languages
Makefile 93.3%
Standard ML 6.7%