Nim/config
2018-10-09 20:48:00 +02:00
..
nim.cfg Genode fixes (#8501) 2018-08-16 18:12:37 +02:00
nimdoc.cfg Do not encode the anchors in docs (id attr in a tags) (#9261) 2018-10-09 20:48:00 +02:00
nimdoc.tex.cfg Punctation -> Punctuation; fix remaining typos. 2014-01-29 17:35:11 +01:00
rename.rules.cfg 'nirmod pretty': almost working 2013-07-31 02:50:17 +02:00