more pretty configure end output, declaring victory on #5735
authorChristian Grothoff <christian@grothoff.org>
Tue, 3 Dec 2019 17:25:54 +0000 (18:25 +0100)
committerChristian Grothoff <christian@grothoff.org>
Tue, 3 Dec 2019 17:25:54 +0000 (18:25 +0100)
commite63133315f334f122ecb39fb574e3ee7584ee9fd
treeecc669c694c2f336176ed13546eba69935050c96
parentfdf8c95a33fe6c81c93cd17ed7a38b8b55df7d54
more pretty configure end output, declaring victory on #5735
configure.ac
po/POTFILES.in