php
diff --git a/‎htmlhelp/suppfiles/html/_script.js
+1-1 b/‎htmlhelp/suppfiles/html/_script.js
+1-1
diff --git a/‎htmlhelp/suppfiles/notes/_notes_script.js
100755100644 b/‎htmlhelp/suppfiles/notes/_notes_script.js
100755100644
@@ -1,4 +1,4 @@
-// $Id: _script.js,v 1.11 2005-07-30 19:53:11 techtonik Exp $
+// $Id$
 // =============================================================================
 // Preference handling
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// $Id: _script.js,v 1.11 2005-07-30 19:53:11 techtonik Exp $`
	`1`	`+// $Id$`
`2`	`2`	`// =============================================================================`
`3`	`3`	`// Preference handling`
`4`	`4`