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