chiark / gitweb /
Add an Id line.
[rocl] / elite-editor
index 22a603356604c564e23ceda37ca461d1737db91d..30403881f02afcc2c829207e8425c0a01e2e3645 100755 (executable)
@@ -1,4 +1,6 @@
 #! /usr/bin/wish
+#
+# $Id: elite-editor,v 1.2 2003/02/25 00:25:38 mdw Exp $
 
 package require "elite" "1.0.0"