projects / horde.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 59ee9d3)
Add $Id$ tag.
authorJan Schneider <jan@horde.org>
Wed, 20 Oct 2010 15:18:17 +0000 (17:18 +0200)
committerJan Schneider <jan@horde.org>
Thu, 21 Oct 2010 08:47:57 +0000 (10:47 +0200)
wicked/config/prefs.php.dist patch | blob | history

diff --git a/wicked/config/prefs.php.dist b/wicked/config/prefs.php.dist
index 5e3cfb6..46b5c1d 100644 (file)
--- 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.
  */
 
Unnamed repository; edit this file to name it for gitweb.