Commit Graph

4 Commits

Author SHA1 Message Date
Sheppy
d3fcf2a149 Makefile updated 2015-10-08 11:20:07 +02:00
Sheppy
b0eec2f644 PumpingLemma commit
cleanup added to makefile
2015-10-07 23:39:35 +02:00
Sheppy
af741b7ef0 makefile fixed 2015-10-07 21:19:24 +02:00
Sheppy
758ebe0aa0 subfolder rename 2015-10-07 21:10:52 +02:00