| commit | 05b2adec74b4aab8774e963d9cd3416d23b1d8ab | |
| author | Hendrik Rosendahl <hendrik.rosendahl@rwth-aachen.de> | |
| Wed, 18 Mar 2015 10:53:01 +0000 (18 11:53 +0100) | ||
| committer | Hendrik Rosendahl <hendrik.rosendahl@rwth-aachen.de> | |
| Wed, 18 Mar 2015 10:53:01 +0000 (18 11:53 +0100) | ||
| tree | 149e96aacf3428530f58df4a6fd83cbbe1f22d58 | treesnapshot (tar.gz zip) |
| parent | 22f6177749051355d967b89c633843accf72e19d | commitdiff |
Fix small issues.
Now the remote command 'rect' works. Before this it didn't do anything
Now the remote command 'rect' works. Before this it didn't do anything
| configure.sh | diffblobblamehistory | |
| main.ml | diffblobblamehistory |