| commit | 20342f1a3c8789bc408ec5519844f99ed6a22fcf | |
| author | vdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692> | |
| Tue, 29 Jul 2008 12:09:25 +0000 (29 12:09 +0000) | ||
| committer | vdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692> | |
| Tue, 29 Jul 2008 12:09:25 +0000 (29 12:09 +0000) | ||
| tree | d1c9296c8d36d6e9dc406d0039e0ef499607e5ae | treesnapshot (tar.gz zip) |
| parent | 5c116f461cf89a59db861f1860254b0fbed22a0b | commitdiff |
Fixes for Html export
git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2224 64cb5145-927a-446d-8aed-2fb7b4773692
git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2224 64cb5145-927a-446d-8aed-2fb7b4773692