Minor improvement
commit87ddddcf39ce4471df97b133c7480615e1838a83
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Sat, 3 Jul 2010 09:31:16 +0000 (3 09:31 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Sat, 3 Jul 2010 09:31:16 +0000 (3 09:31 +0000)
tree20055599beeb63080641f29c40f57db116eb189c
parenta3c5c40e7e38f621647646c819d4349a17427f97
Minor improvement

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2982 64cb5145-927a-446d-8aed-2fb7b4773692
src/TeXmacs/progs/init-texmacs.scm