src/Pure/build-jars
changeset 62452 f25b67245699
parent 62447 26861a913d6b
child 62508 d0b68218ea55
     1.1 --- a/src/Pure/build-jars	Sun Feb 28 15:43:56 2016 +0100
     1.2 +++ b/src/Pure/build-jars	Sun Feb 28 15:57:03 2016 +0100
     1.3 @@ -97,7 +97,7 @@
     1.4    Tools/build_console.scala
     1.5    Tools/build_doc.scala
     1.6    Tools/check_keywords.scala
     1.7 -  Tools/check_source.scala
     1.8 +  Tools/check_sources.scala
     1.9    Tools/debugger.scala
    1.10    Tools/doc.scala
    1.11    Tools/main.scala