diff options
| author | Christian Grothoff <christian@grothoff.org> | 2015-03-28 11:06:00 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2015-03-28 11:06:00 +0100 |
| commit | c626ccac51dc968725b2ead1ecb0cebedd9987fc (patch) | |
| tree | 3acda45b9071865598d2b2670bf6b4bc3f29a57f /src/Makefile.am | |
| parent | eae1896a4bfc02b5d7586f81bbedfea69b29acc8 (diff) | |
second round of renamefest
Diffstat (limited to 'src/Makefile.am')
| -rw-r--r-- | src/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 0315beadc..a2d3ebcd9 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -1,3 +1,3 @@ # This Makefile.am is in the public domain AM_CPPFLAGS = -I$(top_srcdir)/src/include -SUBDIRS = include util pq mint lib +SUBDIRS = include util pq mintdb mint mint-tools mint-lib |