Undo bad commit
commit3a555cc094855ef6f46a5f07be91cb83e290e54d
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Fri, 20 Aug 2010 20:21:56 +0000 (20 20:21 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Fri, 20 Aug 2010 20:21:56 +0000 (20 20:21 +0000)
tree11d1f818b82d1dec95541359f088de36eec22e66
parentb39f0528406d334c3fbe17fb328f5ddaef6f89d8
Undo bad commit

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@3039 64cb5145-927a-446d-8aed-2fb7b4773692
src/TeXmacs/progs/utils/plugins/plugin-eval.scm