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 /po | |
parent | 3c2bf1aef96a7a94c58d9e99ac12a0d8cd788259 (diff) | |
download | pluma-d85c0aa6ec87e91901e393f701873085e5eeddb0.tar.bz2 pluma-d85c0aa6ec87e91901e393f701873085e5eeddb0.tar.xz |
Remove changecase plugin. Functionality is provided by GtkSourceView. (#565)
Diffstat (limited to 'po')
-rw-r--r-- | po/POTFILES.in | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/po/POTFILES.in b/po/POTFILES.in index d3754054..04cc2256 100644 --- a/po/POTFILES.in +++ b/po/POTFILES.in @@ -41,8 +41,6 @@ pluma/pluma-ui.xml pluma/pluma-utils.c pluma/pluma-view.c pluma/pluma-window.c -plugins/changecase/changecase.plugin.desktop.in -plugins/changecase/pluma-changecase-plugin.c plugins/docinfo/docinfo.plugin.desktop.in plugins/docinfo/docinfo.ui plugins/docinfo/pluma-docinfo-plugin.c |