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)
configure.ac: Allow user to disable gflags

1  2 
configure.ac

diff --cc configure.ac
Simple merge