override since we need to rename in the process of installing
[debian/openrocket] / doc /
2010-03-06 plaabug fixes