diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-01-30 11:21:26 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-01-30 11:21:26 -0500 |
| commit | 551b819fe26edf69619ecf0bd9507eed155c259a (patch) | |
| tree | b05f728ab3a10b0cc36c9ba7eed395192fc1ac16 /src/c/Makefile.in | |
| parent | 0442d9e993491bbdfc3f8abca2cd5ffc8dd5134d (diff) | |
Update Makefile.in's with new Autotools; add extra 'return NULL' to placate some -Wall
Diffstat (limited to 'src/c/Makefile.in')
| -rw-r--r-- | src/c/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/c/Makefile.in b/src/c/Makefile.in index cdcd0226..0eb09175 100644 --- a/src/c/Makefile.in +++ b/src/c/Makefile.in @@ -1,4 +1,4 @@ -# Makefile.in generated by automake 1.11 from Makefile.am. +# Makefile.in generated by automake 1.11.1 from Makefile.am. # @configure_input@ # Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, |