diff options
Diffstat (limited to 'gui/theme.h')
| -rw-r--r-- | gui/theme.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gui/theme.h b/gui/theme.h index d51bd7f791..4dac643c19 100644 --- a/gui/theme.h +++ b/gui/theme.h @@ -15,7 +15,8 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. * - * $Header$ + * $URL$ + * $Id$ */ #ifndef GUI_THEME_H |