Nim/config
2015-02-08 13:38:04 +01:00
..
nim.cfg merged #2083 manually 2015-02-08 13:38:04 +01:00
nimdoc.cfg Improve documentation CSS for smaller resolutions 2015-01-11 04:37:04 +01:00
nimdoc.tex.cfg Punctation -> Punctuation; fix remaining typos. 2014-01-29 17:35:11 +01:00
nimrod.cfg Happy new year! 2015-01-06 15:26:33 +01:00
rename.rules.cfg 'nirmod pretty': almost working 2013-07-31 02:50:17 +02:00