Minor code migration
commitb17f68e0edc0943f5c1aa9e1f28d3f1ac22efb02
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Fri, 22 May 2009 19:54:21 +0000 (22 19:54 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Fri, 22 May 2009 19:54:21 +0000 (22 19:54 +0000)
tree22fe2a4804f8cc2dcf5e2e3d19382abcf2e8f1a8
parent08c1ce68383e1c7346971e44fbc22d5a72fa0c13
Minor code migration

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