1303 Commits

Author	SHA1	Message	Date
philsmd	946b4a37d0	implements the enhancement mentioned in issue #10 (cancel on next checkpoint)	2015-12-07 18:31:45 +01:00
philsmd	ef548d3088	fixes issue #5: formatting problem with tabs vs spaces	2015-12-06 11:29:29 +01:00
Jens Steube	5065474b4e	Initial commit	2015-12-04 15:47:52 +01:00