Minor cleaning
commitc98ec33f20c2e8dadb8ad190d88070c6b9c9495d
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Mon, 15 Feb 2010 09:10:12 +0000 (15 09:10 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Mon, 15 Feb 2010 09:10:12 +0000 (15 09:10 +0000)
treef4225d4577859674ce138d15e37f351d1ab05c27
parenta2d91336aee9aa76415dc3e13d4346d077b90d92
Minor cleaning

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2940 64cb5145-927a-446d-8aed-2fb7b4773692
src/configure.in