src/Pure/PIDE/markup.scala
changeset 49613 2f6986e2ef06
parent 45674 eb65c9d17e2f
child 50201 c26369c9eda6
     1.1 --- a/src/Pure/PIDE/markup.scala	Thu Sep 27 15:38:28 2012 +0200
     1.2 +++ b/src/Pure/PIDE/markup.scala	Thu Sep 27 15:55:38 2012 +0200
     1.3 @@ -22,7 +22,6 @@
     1.4    /* elements */
     1.5  
     1.6    val Empty = Markup("", Nil)
     1.7 -  val Data = Markup("data", Nil)
     1.8    val Broken = Markup("broken", Nil)
     1.9  }
    1.10