diff options
author | Pixel <Pixel> | 2001-05-01 17:24:59 +0000 |
---|---|---|
committer | Pixel <Pixel> | 2001-05-01 17:24:59 +0000 |
commit | b44d595ac1be31d01c568b0bd0386a1c60715ac6 (patch) | |
tree | d83d43d8f580c1b0f08155e3341f5e6378dfe2c9 /include/Makefile.am | |
parent | 759be422fcf0fcca5a91b01e5ed7f752d95f0f8d (diff) |
Plop
Diffstat (limited to 'include/Makefile.am')
-rw-r--r-- | include/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/Makefile.am b/include/Makefile.am index 77cdc01..1747117 100644 --- a/include/Makefile.am +++ b/include/Makefile.am @@ -1 +1 @@ -include_HEADERS = exceptions.h hash.h main.h numbers.h parser.h pile.h polynom.h scalaires.h +include_HEADERS = exceptions.h hash.h main.h numbers.h parser.h pile.h polynom.h scalaires.h terminal.h interface.h |