Jay Larson 0b5d8ff7a5 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:46:01 -05:00
2016-09-29 13:23:40 -05:00
2016-09-29 13:23:40 -05:00
Description
No description provided
811 KiB
Languages
Makefile 83.4%
Standard ML 16.6%