diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2022-01-27 19:19:19 +0200 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2022-01-27 19:19:19 +0200 |
commit | 6ebc3e1eaf093e80e72d478b23458e1404d863d7 (patch) | |
tree | dd5568cf52f4ab48a6e8a2b204ad05aaccaec477 /src/history.h | |
parent | 8c36de3d076f35a6f78bd89f5b312dd92950e0bc (diff) |
DocumentWidget: Fixed crash while media players active
Diffstat (limited to 'src/history.h')
0 files changed, 0 insertions, 0 deletions