narimiran a0fb77dfd5 add links to every document, fixes #5515 il y a 5 ans
..
config.nims 86c3ac6a61 see what breaks with a global config.nims il y a 6 ans
nim.cfg 15422a3e5a Genode fixes (#10491) il y a 5 ans
nimdoc.cfg a0fb77dfd5 add links to every document, fixes #5515 il y a 5 ans
nimdoc.tex.cfg b549ca4517 Punctation -> Punctuation; fix remaining typos. il y a 11 ans
rename.rules.cfg 805959378d 'nirmod pretty': almost working il y a 11 ans