| commit | f1c5abd4a56312be272ffd4092f722bd3610d20a | |
| author | mgubi <mgubi@64cb5145-927a-446d-8aed-2fb7b4773692> | |
| Tue, 24 Nov 2009 09:49:29 +0000 (24 09:49 +0000) | ||
| committer | mgubi <mgubi@64cb5145-927a-446d-8aed-2fb7b4773692> | |
| Tue, 24 Nov 2009 09:49:29 +0000 (24 09:49 +0000) | ||
| tree | ba3c711031ab54d7bc75160cf428756495ce9d16 | treesnapshot (tar.gz zip) |
| parent | 7cd7ac4a3cabf26a1fc3f7d901a3dbebef9fa47c | commitdiff |
fixes for timer bug
git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2829 64cb5145-927a-446d-8aed-2fb7b4773692
git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2829 64cb5145-927a-446d-8aed-2fb7b4773692