Max Hilbrunner 23b7670d32 Merge pull request #35382 from Calinou/html5-export-title-tag ... Set the `title` tag in the HTML5 export immediately		2020-04-26 18:23:35 +02:00
..
dist	Set the title tag in the HTML5 export immediately	2020-04-22 11:31:14 +02:00
hooks	Git Hooks: Suppress "which" error messages.	2020-04-24 20:11:53 +03:00
scripts
travis