The dev server only does dev builds, so remove the dev server's so-called prod (aka...
[invirt/packages/xvm-devconfig.git] / invirt.list
2013-03-09  Greg PricePackage invirt.list once more, and add the xvm-dev... dev