diff options
| author | rbuj <[email protected]> | 2021-10-21 14:50:15 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2024-01-25 23:36:35 +0100 |
| commit | 9f033b7ecb7209174cb8ec0c35e10cf57942398a (patch) | |
| tree | 4243c581ae578da8536d29dfdae33ef2d082232c /plugins/externaltools/tools/manager.py | |
| parent | 9be22af84f9f8bdfa26bab8cdb5c3c267d7e7003 (diff) | |
| download | pluma-9f033b7ecb7209174cb8ec0c35e10cf57942398a.tar.bz2 pluma-9f033b7ecb7209174cb8ec0c35e10cf57942398a.tar.xz | |
filebrowser: fix warning -Wincompatible-pointer-types
Diffstat (limited to 'plugins/externaltools/tools/manager.py')
0 files changed, 0 insertions, 0 deletions