| commit | ac2f7be32d2a9eaf979718523d1fcff393445995 | |
| author | mgubi <mgubi@64cb5145-927a-446d-8aed-2fb7b4773692> | |
| Thu, 15 Oct 2009 11:10:11 +0000 (15 11:10 +0000) | ||
| committer | mgubi <mgubi@64cb5145-927a-446d-8aed-2fb7b4773692> | |
| Thu, 15 Oct 2009 11:10:11 +0000 (15 11:10 +0000) | ||
| tree | 72a2d02be1abdd03d273623bf0893b0629171084 | treesnapshot (tar.gz zip) |
| parent | 8f8aa34140f0b0b27b74f245b68808728bb74a70 | commitdiff |
rollback previous change since it does not quite work
git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2800 64cb5145-927a-446d-8aed-2fb7b4773692
git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2800 64cb5145-927a-446d-8aed-2fb7b4773692