K 10 svn:author V 3 dbn K 8 svn:date V 27 2014-05-13T19:14:05.965822Z K 7 svn:log V 120 Remove obsoleted OPTIONSFILE from devel/py-simpy. Clean-up from my previous commits. Approved by: portsmgr (implicit) END