| commit | 45655d6047e38548866d63e9ecfe4657cad6ec39 | |
| author | vdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692> | |
| Tue, 20 Jul 2010 08:53:53 +0000 (20 08:53 +0000) | ||
| committer | vdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692> | |
| Tue, 20 Jul 2010 08:53:53 +0000 (20 08:53 +0000) | ||
| tree | 4e3a2063d43b29f43a983bef8731ee626510b4c2 | treesnapshot (tar.gz zip) |
| parent | 80d249e717d5a1093fb4b42d567ffe33287632ac | commitdiff |
Minor fixes
git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@3020 64cb5145-927a-446d-8aed-2fb7b4773692
git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@3020 64cb5145-927a-446d-8aed-2fb7b4773692