diff options
Diffstat (limited to 'pre-inst-env.in')
| -rw-r--r-- | pre-inst-env.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pre-inst-env.in b/pre-inst-env.in index c2bd49c..a322153 100644 --- a/pre-inst-env.in +++ b/pre-inst-env.in @@ -1,6 +1,6 @@ #!/bin/sh -## Guile-ACL2 --- A Compiler from ACL2 to Guile +## Guile-ACL2 --- Guile's ACL2 compiler ## Copyright © 2021 Masaya Tojo <masaya@tojo.tokyo> ## ## This file is part of Guile-ACL2. |