If the filename doesn't end in .ork, append .ork to indicate the saved file is ork...
[debian/openrocket] / core / .settings /
2012-01-08 kruland2607moving .settings/ to core/