src/Pure/build-jars
changeset 66959 015d47486fc8
parent 66820 fc516da7ee4f
child 67016 57d58c3cf16b
     1.1 --- a/src/Pure/build-jars	Tue Oct 31 15:36:50 2017 +0100
     1.2 +++ b/src/Pure/build-jars	Tue Oct 31 15:55:50 2017 +0100
     1.3 @@ -129,7 +129,6 @@
     1.4    Thy/present.scala
     1.5    Thy/sessions.scala
     1.6    Thy/thy_header.scala
     1.7 -  Thy/thy_info.scala
     1.8    Thy/thy_syntax.scala
     1.9    Tools/bibtex.scala
    1.10    Tools/build.scala