repositories / mc1516pa.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 956facb) | patch
Cleaned up main, removed some options
authorMart Lubbers <mart@martlubbers.net>
Wed, 20 Apr 2016 17:08:51 +0000 (19:08 +0200)
committerMart Lubbers <mart@martlubbers.net>
Wed, 20 Apr 2016 17:08:51 +0000 (19:08 +0200)
commitac8d9afc8de1218083638d0871e98ff15daa9aab
tree420128110edad79eabe08755f99a980ee0741c8ftree | snapshot
parent956facb67e30cb9964211d00110f287f0a8d43c0commit | diff
Cleaned up main, removed some options
modelchecker/main.c diff | blob | history
modelchecker/test.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.