From 1e22c78c7fdba942d2e3b654031a23f259ef7efa Mon Sep 17 00:00:00 2001
From: Jan Schneider <jan@horde.org>
Date: Wed, 20 Oct 2010 17:18:17 +0200
Subject: [PATCH] Add $Id$ tag.

---
 wicked/config/prefs.php.dist | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/wicked/config/prefs.php.dist b/wicked/config/prefs.php.dist
index 5e3cfb6fe..46b5c1d28 100644
--- a/wicked/config/prefs.php.dist
+++ b/wicked/config/prefs.php.dist
@@ -1,5 +1,7 @@
 <?php
 /**
+ * $Id$
+ *
  * See horde/config/prefs.php for documentation on the structure of this file.
  */
 
-- 
2.11.0