diff options
Diffstat (limited to 'pluma/pluma-prefs-manager-app.h')
-rw-r--r--[-rwxr-xr-x] | pluma/pluma-prefs-manager-app.h | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/pluma/pluma-prefs-manager-app.h b/pluma/pluma-prefs-manager-app.h index 059580e2..059580e2 100755..100644 --- a/pluma/pluma-prefs-manager-app.h +++ b/pluma/pluma-prefs-manager-app.h |