diff options
Diffstat (limited to 'doc/guide/guide.html2ps')
-rw-r--r-- | doc/guide/guide.html2ps | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/guide/guide.html2ps b/doc/guide/guide.html2ps index 32f2fa8..3c6988c 100644 --- a/doc/guide/guide.html2ps +++ b/doc/guide/guide.html2ps @@ -20,7 +20,7 @@ <h1> </h1> <h1> </h1> </div> - <p>Copyright © 2009-2018 Code Synthesis Tools CC</p> + <p>Copyright © 2009-2018 Code Synthesis Tools CC</p> <p>Permission is granted to copy, distribute, and/or modify this document under the terms of the |