projects / pgpool2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3bb2bd8) | patch
Fix failing "make dist".
authorTatsuo Ishii <ishii@postgresql.org>
Tue, 15 Aug 2017 23:13:58 +0000 (08:13 +0900)
committerTatsuo Ishii <ishii@postgresql.org>
Tue, 15 Aug 2017 23:30:22 +0000 (08:30 +0900)
commit32a451a512ba9fe8e82d407cbc016573401d1d47
treea69588c3215afa282acde557de73a04f01b98e68tree
parent3bb2bd8a65d8f4b2e0f1f426a34d2f06d6f2124bcommit | diff
Fix failing "make dist".

doc.ja/src/Makefile seemed to be broken.
doc.ja/src/Makefile.in diff | blob | blame | history
Clustering tool for PostgreSQL