diff options
author | ringabout <43030857+ringabout@users.noreply.github.com> | 2023-09-19 04:57:03 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-09-18 22:57:03 +0200 |
commit | 2c5b94bbfd8a050ce08072222511cbb9eb20f771 (patch) | |
tree | 27460c2a578abc6599b74a1356fb5abce3bbea63 | |
parent | dba9000609ef55dfbcf7391edd2d1375f8ea3a1e (diff) | |
download | Nim-2c5b94bbfd8a050ce08072222511cbb9eb20f771.tar.gz |
fixes #22692; ships `ci/funs.sh` (#22721)
fixes #22692
-rw-r--r-- | compiler/installer.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/installer.ini b/compiler/installer.ini index 49ee59b0d..d12127bde 100644 --- a/compiler/installer.ini +++ b/compiler/installer.ini @@ -71,6 +71,7 @@ Files: "testament" Files: "nimsuggest" Files: "nimsuggest/tests/*.nim" Files: "changelogs/*.md" +Files: "ci/funs.sh" [Lib] Files: "lib" |