2013-08-19 | Matthias Wachs | fixing mantis 3002 | blob | commitdiff | raw |
2013-08-19 | Matthias Wachs | changing to fancy string and from 3 seconds to 30 seconds | blob | commitdiff | raw | diff to current |
2011-11-03 | Christian Grothoff | implementing #1747 | blob | commitdiff | raw | diff to current |