diff options
| author | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-05-13 12:36:36 +0100 |
|---|---|---|
| committer | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-05-13 12:36:36 +0100 |
| commit | 896a78aaa0bb2e4d4f197ed1286c4f030dbaef5f (patch) | |
| tree | 07b5223210ec2b646f877bd93e972bb06103f7e3 /src/plugins/PluginAPI.cpp | |
| parent | cc01550aff70a0cbee5b62db5f4a08789244998f (diff) | |
lock: add allow_session_lock_restore
Diffstat (limited to 'src/plugins/PluginAPI.cpp')
0 files changed, 0 insertions, 0 deletions