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