jyapayne/Nim
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix root cause of https://github.com/dom96/choosenim/issues/193; config/config.nims should get installed (#14267)

Browse source
This commit is contained in:
Andreas Rumpf 2020-05-08 16:14:10 +02:00 • committed by GitHub
commit bae8e95b73
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/installer.ini
View file

@ -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"