diff options
| author | Max Hilbrunner <mhilbrunner@users.noreply.github.com> | 2020-04-26 18:23:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-26 18:23:35 +0200 |
| commit | 23b7670d32c566acd62870c73676531eb187aa94 (patch) | |
| tree | 3d2ebb75a796ac2de991ae90f0583417f405640a /main/tests/test_gui.h | |
| parent | e68012f4c9c27ec97f7dae0f5a1bfe4f0c716b0e (diff) | |
| parent | eecce139eaa15b3c4d7944dd586b11e150d5e5b6 (diff) | |
Merge pull request #35382 from Calinou/html5-export-title-tag
Set the `title` tag in the HTML5 export immediately
Diffstat (limited to 'main/tests/test_gui.h')
0 files changed, 0 insertions, 0 deletions