K 10 svn:author V 6 amdmi3 K 8 svn:date V 27 2015-08-18T10:46:30.315687Z K 7 svn:log V 52 - Fix mirrors - Remove useless options.mk inclusion END