Updated makefile.
[jars.git] / Makefile
2019-12-28 plugdUpdated makefile.
2019-12-28 plugdAdded run-mars utility.