2019-07-05 | Fabian Stemmler | Merge branch 'development' of https://gitlab.lrz.de... | blob | commitdiff | raw |
2019-07-04 | Daniel Kirschten | Made Renderers usable without JSON | blob | commitdiff | raw |
2019-07-04 | Daniel Kirschten | Made CodeSnippetSupplier generic | blob | commitdiff | raw |
2019-07-04 | Daniel Kirschten | Added two SymbolRendererProviders | blob | commitdiff | raw | diff to current |