diff options
Diffstat (limited to 'koch.nim')
| -rw-r--r-- | koch.nim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/koch.nim b/koch.nim index 2597a3bb7..5828115a2 100644 --- a/koch.nim +++ b/koch.nim @@ -81,7 +81,7 @@ Boot options: for bootstrapping Commands for core developers: - runCI runs continuous integration (CI), e.g. from travis + runCI runs continuous integration (CI), e.g. from Github Actions docs [options] generates the full documentation csource -d:danger builds the C sources for installation pdf builds the PDF documentation |