diff options
Diffstat (limited to 'gui/themes')
| -rw-r--r-- | gui/themes/default-theme.ini | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gui/themes/default-theme.ini b/gui/themes/default-theme.ini index 2e17d60431..72c66d866f 100644 --- a/gui/themes/default-theme.ini +++ b/gui/themes/default-theme.ini @@ -1,3 +1,5 @@ +# $URL$ +# $Id$ [theme] version=3 |