diff options
| author | raveit65 <[email protected]> | 2019-07-17 12:08:00 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2019-07-17 12:08:00 +0200 |
| commit | cdd098013a810ccd8b8baeef3110676f87da1fa9 (patch) | |
| tree | 4dafcc7e3c50c04b3df8e865cd782a06cd791ec0 /tools/generate-plugin.py | |
| parent | 7841131803aa8a4efb66ad291cf57505f309dc89 (diff) | |
| download | pluma-cdd098013a810ccd8b8baeef3110676f87da1fa9.tar.bz2 pluma-cdd098013a810ccd8b8baeef3110676f87da1fa9.tar.xz | |
fix build error when gla11y is not installed
Diffstat (limited to 'tools/generate-plugin.py')
0 files changed, 0 insertions, 0 deletions