diff options
| author | Matthias Melcher <github@matthiasm.com> | 2024-01-28 00:14:49 +0100 |
|---|---|---|
| committer | Matthias Melcher <github@matthiasm.com> | 2024-01-28 00:14:49 +0100 |
| commit | fa8799bcef0da392fd344ed019154bd84ccd3e5b (patch) | |
| tree | 1e8fbc5415053c4d554b7ec85debca9a16ee89b2 /documentation/src/editor.dox | |
| parent | 444ee8bc3674002d3aa315ad666638b00f145bed (diff) | |
Fix animated gif reloading (#897)
Diffstat (limited to 'documentation/src/editor.dox')
0 files changed, 0 insertions, 0 deletions