diff options
| author | Juan Carlos <juancarlospaco@gmail.com> | 2022-10-27 06:58:35 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-27 11:58:35 +0200 |
| commit | 3e7f6562b54618380e4c49701ac8794cb81e35bf (patch) | |
| tree | 7846e987561bb26c2c917ff5994bb9f583c422cc /koch.nim | |
| parent | 3469f37a56c31623eff473c65fd231bb5a77d5d8 (diff) | |
| download | Nim-3e7f6562b54618380e4c49701ac8794cb81e35bf.tar.gz | |
Documentation only, koch (#20665)
* Fix doc about Travis CI * Rerun ci
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 |