Minor fix
commit80020254b43822ed02d206340692aa4ee9e2bb3a
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Fri, 19 Dec 2008 11:17:17 +0000 (19 11:17 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Fri, 19 Dec 2008 11:17:17 +0000 (19 11:17 +0000)
tree93478785105a9edee3be5adc0bfa3f8f10be902c
parentc5f1dbffd1a586dbc21b5a650f878ca8369735dd
Minor fix

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2494 64cb5145-927a-446d-8aed-2fb7b4773692
src/plugins/maxima/bin/maxima_detect