diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/dejagnu-help.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/dejagnu-help.1 b/doc/dejagnu-help.1 index 110da92..073afe7 100644 --- a/doc/dejagnu-help.1 +++ b/doc/dejagnu-help.1 @@ -1,4 +1,4 @@ -.\" Copyright (C), 2018 Free Software Foundation, Inc. +.\" Copyright (C) 2018 Free Software Foundation, Inc. .\" You may distribute this file under the terms of the GNU Free .\" Documentation License. .Dd December 19, 2018 |