4 commits

Author	SHA1	Message	Date
J. King	b3566f8d48	Use Robo to extract zip archive	2019-08-03 22:06:57 -04:00
J. King	7dee5498d8	Procedure for downloading highlight.js ... Currently slightly broken due to a bug in a dependency	2019-08-02 22:34:41 -04:00
J. King	6848f154c0	Update dev dependencies	2017-12-16 17:11:17 -05:00
J. King	4bc3398157	Use Robo for programming task execution ... The plan had originally been to use Bldr, but Bldr's features were not particularly compelling, and it has not been maintained recently. By contrast Robo has very useful features while still meeting my needs. In addition to migrating the build process, the current Robo file also runs unit tests, with or without coverage reporting. Fixes #116; improves #113	2017-12-08 14:37:49 -05:00