miscellaneous: revert r11808 and r11807
* since oct file is named partint, there is no need for autoload
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.