2012-07-11 | Andreas Kohlbecker | merging in latest changes from trunk | blob | commitdiff | raw |
2012-01-16 | l.morris | Committing changes to definedtermeditor after merge... | blob | commitdiff | raw |
2011-06-22 | n.hoffmann | Fixes #2418 | blob | commitdiff | raw | diff to current |
2011-05-09 | n.hoffmann | Fixes #2366 | blob | commitdiff | raw | diff to current |
2011-03-16 | n.hoffmann | had to rename the packages to make them compliant with... | blob | commitdiff | raw | diff to current |