repositories / mc1516pa.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a598272) | patch
left trans rel is ready
authorAlexander Fedotov <soyaxhoya@gmail.com>
Mon, 11 Apr 2016 22:29:07 +0000 (23:29 +0100)
committerAlexander Fedotov <soyaxhoya@gmail.com>
Mon, 11 Apr 2016 22:29:07 +0000 (23:29 +0100)
commit37c3344e7c8daf73cbcf72e7152dc2aeac6b5691
treea16d7977dc547c224b787e6315fbe8f6647946d5tree | snapshot
parenta598272f0c1c8c5a275c24853b96e4e56fd57dadcommit | diff
left trans rel is ready
modelchecker/coord.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.