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