Jay Larson e7f7ef7ca9 The following changes were made to Makefile:
* added BRIEF
  * moved to new version scheme
  * moved make and make install out of variables
2017-04-05 13:47:19 -05:00
2016-09-21 09:27:29 -05:00
2016-09-21 09:27:29 -05:00
Description
No description provided
1.7 MiB
Languages
Makefile 92.3%
Standard ML 7.7%