2018-05-17 | jenkins | Merge branch 'release/5.0.0' into develop | blob | commitdiff | raw |
2018-05-17 | Andreas Müller | cleanup | blob | commitdiff | raw |
2018-05-15 | Andreas Müller | ref #7421 continue refactor verbatim date sections... | blob | commitdiff | raw | diff to current |
2018-05-15 | Andreas Müller | ref #7421 refactor verbatim date sections and elements | blob | commitdiff | raw | diff to current |
2018-05-15 | Katja Luther | minor for verbatimDate | blob | commitdiff | raw | diff to current |
2018-05-15 | Katja Luther | further implementation for verbatimdate | blob | commitdiff | raw | diff to current |
2018-05-15 | Katja Luther | add verbatim date to editor | blob | commitdiff | raw | diff to current |