diff options
| -rw-r--r-- | docs/markdown/Machine-files.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/markdown/Machine-files.md b/docs/markdown/Machine-files.md index e703988..e553720 100644 --- a/docs/markdown/Machine-files.md +++ b/docs/markdown/Machine-files.md @@ -34,7 +34,7 @@ A boolean must be either `true` or `false`, and unquoted. option = false ``` -An integer must be either an unquoted numeric constant; +An integer must be an unquoted numeric constant. ```ini option = 42 ``` |