]> mj.ucw.cz Git - leo.git/commit
Labelling: Bugfixes in get_closure labelling
authorKarolina Buresova <karry@kam.mff.cuni.cz>
Sun, 26 Jul 2015 00:17:28 +0000 (02:17 +0200)
committerKarolina Buresova <karry@kam.mff.cuni.cz>
Sun, 26 Jul 2015 00:17:28 +0000 (02:17 +0200)
commit91ef1ec01dc27bc779abca5f9a0fe9b6d4e4d181
tree4dfeccea703e29f22cb27520843c1a1cc922c548
parent7dd9ceb8bf2adc8f0a45451729294d844a40605e
Labelling: Bugfixes in get_closure

Ooops
lab-bitmaps.c
lab-bitmaps.h
lab-evolution.c