repositories / mc1516pa.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f20ca67) | patch
some more trans var corrections
authorAlexander Fedotov <soyaxhoya@gmail.com>
Wed, 13 Apr 2016 17:49:41 +0000 (19:49 +0200)
committerAlexander Fedotov <soyaxhoya@gmail.com>
Wed, 13 Apr 2016 17:49:41 +0000 (19:49 +0200)
commitd5d879b4e6dff962b6d31be06b8e555e72819963
tree2859339ac028a257a0169cda9d492f4378a741b2tree | snapshot
parentf20ca673d7c57ebab62deaaa5819e24b941349dacommit | diff
some more trans var corrections
modelchecker/coord.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.