Merge pull request #120 from ribalda/master
authorShinichiro Hamaji <shinichiro.hamaji@gmail.com>
Wed, 19 Jul 2017 14:51:20 +0000 (23:51 +0900)
committerGitHub <noreply@github.com>
Wed, 19 Jul 2017 14:51:20 +0000 (23:51 +0900)
commitdc8aa29f2c9a8d8bc6f802316bdf01fd5bb64803
treec447ce4a1f296785f6e1dc1752c52f962472da13
parentce8799c8e2fff9e9e446358f7d17eee2f46ed45e
parent5da5f2cac59ea210f1e82c4d74747c07d1a196a8
Merge pull request #120 from ribalda/master

configure.ac: Allow user to disable gflags
configure.ac