2015-07-06 | Christian Weiske | single file edit: jump to file after saving | blob | commitdiff | raw |
2014-12-04 | Christian Weiske | Single file editing | blob | commitdiff | raw | diff to current |
2013-11-19 | Christian Weiske | Fix bug #44: fix anchors of files with spaces in their... | blob | commitdiff | raw | diff to current |
2012-04-15 | Christian Weiske | no code div for images | blob | commitdiff | raw | diff to current |
2012-04-15 | Christian Weiske | add image renderer | blob | commitdiff | raw | diff to current |
2012-04-13 | Christian Weiske | highlighting of errorneous lines in from tool output | blob | commitdiff | raw | diff to current |
2012-04-13 | Christian Weiske | first tool supported: xmllint | blob | commitdiff | raw | diff to current |