?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Fix for wait time
[texmacs.git] / plugins / test
blob72a6d376239e93c2c640815cb84ce8c07d51741f
1 A small test: seen ;-)