]>
2017-04-18 | Lucas Werkmeister | Merge "upd: improve format script" | blob | commitdiff | raw |
2017-03-22 | Benny Baumann | Merge "chg: rename package name and all references... | blob | commitdiff | raw |
2017-03-22 | Martin Gummi | chg: rename package name and all references to it | blob | commitdiff | raw |
2016-10-29 | Felix Dörre | Merge branch 'master' into libs/detectcoll/local | blob | commitdiff | raw |
2015-03-07 | Felix Dörre | Merge remote-tracking branch 'origin/libs/detectcoll... | blob | commitdiff | raw |
2015-01-24 | Felix Dörre | add: Split the installation package | blob | commitdiff | raw |