Phpdocumentor update - sed is your friend for these kinds of things ;)

[squirrelmail.git] / functions / file_prefs.php

diff --git a/functions/file_prefs.php b/functions/file_prefs.php
index e4128326f0cac98a183061acd01421b56800cf90..224e9890bbbe311cf6637dbfa53d682cf3feaf04 100644 (file)
--- a/functions/file_prefs.php
+++ b/functions/file_prefs.php
@@ -8,7 +8,7 @@
  *
  * This contains functions for manipulating user preferences in files
  *
- * $Id$
+ * @version $Id$
  * @package squirrelmail
  */