Araq f7f87a7709 merged #2083 manually

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