# HG changeset patch
# User immler@in.tum.de
# Date 1236185202 -3600
# Node ID 3c3a23c1eb8ccac6496c3b30e8107144d016fbc5
# Parent  79ad42a9497ffcd36d15a0bd9b8365154c36d0ff
changed title

diff -r 79ad42a9497f -r 3c3a23c1eb8c src/Tools/jEdit/src/utils/LinearSet.scala
--- a/src/Tools/jEdit/src/utils/LinearSet.scala	Wed Mar 04 17:07:47 2009 +0100
+++ b/src/Tools/jEdit/src/utils/LinearSet.scala	Wed Mar 04 17:46:42 2009 +0100
@@ -1,4 +1,4 @@
-/*  Title:      linear_set.scala
+/*  Title:      LinearSet.scala
     Author:     Makarius
 
 Sets with canonical linear order, or immutable linked-lists.