diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2020-08-03 19:45:20 +0200 |
|---|---|---|
| committer | Inari Listenmaa <inari.listenmaa@gmail.com> | 2020-08-03 19:45:20 +0200 |
| commit | 7c478016d0ca57753323e45b77505fc839b170f8 (patch) | |
| tree | 25d2f45737a1da4234fbe5f574fa16cc0f7106eb /src/runtime/javascript/editor.html | |
| parent | 868566a31921e1f39881ac5adcc1308131050eca (diff) | |
Replace deprecated pragma with up-to-date one. (#17)
Diffstat (limited to 'src/runtime/javascript/editor.html')
0 files changed, 0 insertions, 0 deletions