nicer message
authorChristian Grothoff <christian@grothoff.org>
Sun, 18 Aug 2019 12:22:59 +0000 (14:22 +0200)
committerChristian Grothoff <christian@grothoff.org>
Sun, 18 Aug 2019 12:22:59 +0000 (14:22 +0200)
commitf25b1edb8dae188d40e85347ff45f783708acfa9
treec8ac6e66044b94eefbaecc42833cce76aeb312ba
parentd83a189f76d278f61555b3a5b20ff0f89951ef27
nicer message
configure.ac