| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [pvs2-freiburg] add missing configuration options to pvs2.ini | Jonathan Bauer | 2016-07-14 | 1 | -2/+4 |
| | | |||||
| * | [pvs-fr] Konfig -114 | Christian Rößler | 2016-05-20 | 1 | -17/+19 |
| | | |||||
| * | [config-fr] PVS: Three more manager IPS, more room corr. (-114 needs to | Christian Rößler | 2016-04-11 | 1 | -1/+1 |
| | | | | | be overhauled) (cut+paste correction) | ||||
| * | [config-fr] PVS: Three more manager IPS, more room corr. (-114 needs to | Christian Rößler | 2016-04-11 | 1 | -15/+15 |
| | | | | | be overhauled) | ||||
| * | [config-fr] PVS: room -101 now corrected | Christian Rößler | 2016-04-07 | 1 | -13/+13 |
| | | |||||
| * | [config] pvs2 and pvs2mgr modules | Jonathan Bauer | 2014-09-22 | 1 | -0/+140 |
| pvs2-freiburg: only the configuration file pvs2mgr-freiburg: the autostart stuff for pvs2mgr | |||||
