narimiran 21b256dbc9 fix documentation CSS ... - make documentation usable on small (narrow) screens - slightly smaller font size in tables - fix search input width		2019-02-05 14:01:47 +01:00
..
config.nims	see what breaks with a global config.nims	2018-12-16 20:53:50 +01:00
nim.cfg	Genode fixes (#10491)	2019-01-29 15:08:43 +01:00
nimdoc.cfg	fix documentation CSS	2019-02-05 14:01:47 +01: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