diff options
| author | monsta <[email protected]> | 2019-07-30 17:59:11 +0300 |
|---|---|---|
| committer | monsta <[email protected]> | 2019-07-30 17:59:11 +0300 |
| commit | dd729f5781affdf8ad369b42d1b0d211123bb544 (patch) | |
| tree | ce71bfc3463dcd38dfa65cbfe37fa64cc5a2ef11 /plugins/externaltools/scripts | |
| parent | 6266a98800e5f0d571d8617a0d2265a3a7524f33 (diff) | |
| download | pluma-dd729f5781affdf8ad369b42d1b0d211123bb544.tar.bz2 pluma-dd729f5781affdf8ad369b42d1b0d211123bb544.tar.xz | |
fix build with GtkSourceView 3.22
Diffstat (limited to 'plugins/externaltools/scripts')
0 files changed, 0 insertions, 0 deletions