diff options
| author | Andreas Rumpf <andreasrumpf@noname> | 2009-09-15 23:22:22 +0200 |
|---|---|---|
| committer | Andreas Rumpf <andreasrumpf@noname> | 2009-09-15 23:22:22 +0200 |
| commit | 66a7e3d37c0303997a6b1a3b7ec263dfb8c07748 (patch) | |
| tree | 40ae1ab8aeb9086b7310ea73ab8a2ed6b597f88b /rod/nimrod.ini | |
| parent | 300430fbba28b408f7ac86ca46b03d9d50839399 (diff) | |
| download | Nim-66a7e3d37c0303997a6b1a3b7ec263dfb8c07748.tar.gz | |
added tools and web dirs
Diffstat (limited to 'rod/nimrod.ini')
| -rwxr-xr-x[-rw-r--r--] | rod/nimrod.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rod/nimrod.ini b/rod/nimrod.ini index eaf3aafb2..6ae5f0156 100644..100755 --- a/rod/nimrod.ini +++ b/rod/nimrod.ini @@ -22,6 +22,7 @@ License: "copying.txt" [Config] Files: "config/nimdoc.cfg" Files: "config/nimrod.cfg" +Files: "config/nimdoc.tex.cfg" [Documentation] Files: "doc/*.txt" |