diff options
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 53112d5..e5498ea 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1,4 +1,4 @@ -## 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. |