Jay Larson da12288c25 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 13:03:34 -05:00
2016-09-28 14:11:39 -05:00
2016-09-28 14:11:39 -05:00
Description
No description provided
1.4 MiB
Languages
Makefile 83.2%
Standard ML 16.8%