Eelco Dolstra 7edb27b7af Hide the option fonts.enableCoreFonts
We shouldn't have options that simply enable a package.
2015-06-01 10:43:43 +02:00
..
2014-04-18 00:45:26 +02:00
2014-08-31 21:39:03 +02:00
2014-05-06 20:04:22 +02:00