way2muchnoise 3c7f16a6ca forward port cyclops support ...

also fixes #873

2017-01-24 22:25:27 +01:00

..

java

forward port cyclops support

2017-01-24 22:25:27 +01:00

resources

bigger text field for the Detector, fixes #910

2017-01-24 21:31:40 +01:00