diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2019-10-11 18:39:03 +0200 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2019-10-15 14:15:02 +0200 |
| commit | d75e0de729ab3f6e809f025e632be41ad2e476b7 (patch) | |
| tree | 60909baeac4be9ce6ab1367c91a02a058425bff4 /editor/doc/doc_data.h | |
| parent | 1fed266bf5452b30376db62495f4985f6975f2c1 (diff) | |
Fix HTML5 build after 67a4c30.
I messed up a rebase and a commit was partly skipped
Diffstat (limited to 'editor/doc/doc_data.h')
0 files changed, 0 insertions, 0 deletions