jlarson 83939b7c57 The following changes were made to Makefile: ...

* corrected dependencies
  * removed unneeded debug output

2017-04-06 13: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-04-06 13:34:44 -05:00

S

Description

No description provided

1.6 MiB

Languages

Makefile 62.5%

Standard ML 19.7%

Shell 17.8%