Jay Larson 76f95b26df The following changes were made to Makefile: ...

* added BRIEF
  * moved to new version scheme

2017-03-31 10:34:44 -05:00

SNAP

Fixed patches, cleaned up Makefile, added dependencies

2016-11-02 23:34:05 -05:00

SRC

Fixed patches, cleaned up Makefile, added dependencies

2016-11-02 23:34:05 -05:00

Makefile

The following changes were made to Makefile:

2017-03-31 10:34:44 -05:00

Description

No description provided

1.6 MiB

Languages

Makefile 62.5%

Standard ML 19.7%

Shell 17.8%