diff options
| author | mbkma <[email protected]> | 2020-08-05 11:19:36 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-08-05 11:19:36 +0200 |
| commit | d85c0aa6ec87e91901e393f701873085e5eeddb0 (patch) | |
| tree | 6b7bcb1dc2ccff35cf865104e5d887306a253972 /tools | |
| parent | 3c2bf1aef96a7a94c58d9e99ac12a0d8cd788259 (diff) | |
| download | pluma-d85c0aa6ec87e91901e393f701873085e5eeddb0.tar.bz2 pluma-d85c0aa6ec87e91901e393f701873085e5eeddb0.tar.xz | |
Remove changecase plugin. Functionality is provided by GtkSourceView. (#565)
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions