Peter Simons 610f31fe92 RcmdrPlugin_ROC: remove broken package
This build goes into an endless loop and produces gigabytes of useless
output. :-(
2014-08-15 18:51:47 +02:00
..
2014-05-04 23:54:11 +02:00