diff options
Diffstat (limited to 'manual/2html')
| -rwxr-xr-x | manual/2html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/2html b/manual/2html index d3b88b34..243f3f22 100755 --- a/manual/2html +++ b/manual/2html | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | #!/usr/bin/env lua5.3 | 1 | #!/usr/bin/env lua |
| 2 | 2 | ||
| 3 | 3 | ||
| 4 | -- special marks: | 4 | -- special marks: |