diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2020-05-08 16:14:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-08 16:14:10 +0200 |
| commit | bae8e95b7340af5727aef40859f0cbceb47c38f5 (patch) | |
| tree | 2ae884496cd66d405d684c8c74d86767f83e0e0c /compiler | |
| parent | 4bd77cf045e5563ea1150d5106fec1f6f66d5e2d (diff) | |
| parent | ee15437aedcf7c4f29f75101a6af7bc454830cda (diff) | |
| download | Nim-bae8e95b7340af5727aef40859f0cbceb47c38f5.tar.gz | |
fix root cause of https://github.com/dom96/choosenim/issues/193; config/config.nims should get installed (#14267)
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/installer.ini | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/compiler/installer.ini b/compiler/installer.ini index 939b328d0..fdb717b61 100644 --- a/compiler/installer.ini +++ b/compiler/installer.ini @@ -35,9 +35,8 @@ App: Console License: "copying.txt" [Config] -Files: "config/nim.cfg" -Files: "config/nimdoc.cfg" -Files: "config/nimdoc.tex.cfg" +Files: "config/*.cfg" +Files: "config/config.nims" [Documentation] ; Files: "doc/*.html" |