Jay Larson 213fd79a37 The following changes were made to Makefile:
* added BRIEF
  * moved to new version scheme
  * split into readline and readline-dev
  * removed MAKE and MAKEINST vars
2017-03-29 15:26:24 -05:00
2016-10-04 13:40:23 -05:00
2016-10-04 13:40:23 -05:00
Description
No description provided
2.4 MiB
Languages
Makefile 83.3%
Standard ML 16.7%