diff options
Diffstat (limited to 'doc/input.but')
| -rw-r--r-- | doc/input.but | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/input.but b/doc/input.but index 7d5eb97..978db0c 100644 --- a/doc/input.but +++ b/doc/input.but @@ -1,3 +1,5 @@ +\versionid $Id$ + \C{input} Halibut input format This chapter describes the format in which you should write |