Tweak editors/mined version 2012.23
authorDPorts Builder <nobody@home.ok>
Wed, 12 Feb 2014 23:49:49 +0000 (15:49 -0800)
committerDPorts Builder <nobody@home.ok>
Wed, 12 Feb 2014 23:49:49 +0000 (15:49 -0800)
commitf201d00604f307fc65eaccad0c7b659cbe98a4f8
tree904667a66241c6580b06cb406fa764bdbaffbbe6
parent02923185747ede0f575f4ff6fa0b69e7c46bc99b
Tweak editors/mined version 2012.23
editors/mined/Makefile