repositories / mc1516pa.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5f414d9) | patch
added minimum boxamount, check for crappy file
authorMart Lubbers <mart@martlubbers.net>
Wed, 20 Apr 2016 18:47:59 +0000 (20:47 +0200)
committerMart Lubbers <mart@martlubbers.net>
Wed, 20 Apr 2016 18:47:59 +0000 (20:47 +0200)
commitc652648c47a5f1206951314a15e540f75cdbcf73
tree95872cc3361652232c299b851afe2e5df4669214tree | snapshot
parent5f414d9998b3ec27360dc531721e1ef2740ba7dbcommit | diff
added minimum boxamount, check for crappy file
modelchecker/main.c diff | blob | history
modelchecker/sokoban.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.