Refresh patches.
Debian Janitor
1 year, 5 months ago
7 | 7 | Author: Gunnar Hjalmarsson <gunnarhj@debian.org> |
8 | 8 | Forwarded: not-needed |
9 | 9 | |
10 | --- a/gnome-help/C/prefs.page | |
11 | +++ b/gnome-help/C/prefs.page | |
10 | Index: gnome-user-docs.git/gnome-help/C/prefs.page | |
11 | =================================================================== | |
12 | --- gnome-user-docs.git.orig/gnome-help/C/prefs.page | |
13 | +++ gnome-user-docs.git/gnome-help/C/prefs.page | |
12 | 14 | @@ -19,7 +19,7 @@ |
13 | 15 | </info> |
14 | 16 |