| commit | 77f6da451b4f299e7af495da9e8325698b873c7b | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Fri Mar 25 13:04:01 2016 +0100 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Fri Mar 25 13:04:01 2016 +0100 |
| tree | d9c1fa3e5606a09bae31da05bd0133c2084f1cf8 | |
| parent | 827905b867236ee8aaa3c1e84ea6958b636f0da4 [diff] | |
| parent | bdcf2d22c24c91481aa32d83c97fd9b871321815 [diff] |
Merge pull request #67 from mpeuster/master Better RM test case. Imporved other tests.