diff options
| author | biouman <biouman> | 2001-05-02 01:52:57 +0000 |
|---|---|---|
| committer | biouman <biouman> | 2001-05-02 01:52:57 +0000 |
| commit | c7de59691739e3d259712728a9746b87422f27d2 (patch) | |
| tree | d353c992423ac9eb6441782b3837b2b0049626a8 /include/Makefile.am | |
| parent | 3bc7ebe940f0b3affb3e8160ba60a18f27707e90 (diff) | |
*** empty log message ***
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 1747117..bfcbec8 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 terminal.h interface.h +include_HEADERS = exceptions.h hash.h main.h numbers.h parser.h pile.h polynom.h scalaires.h terminal.h interface.h fonctions.h |