src/Pure/build-jars
changeset 69328 4646fcb59121
parent 69326 600df66ac561
child 69330 6a33b12f8573
     1.1 --- a/src/Pure/build-jars	Thu Nov 22 17:34:30 2018 +0100
     1.2 +++ b/src/Pure/build-jars	Thu Nov 22 17:34:37 2018 +0100
     1.3 @@ -145,6 +145,7 @@
     1.4    Tools/debugger.scala
     1.5    Tools/doc.scala
     1.6    Tools/dump.scala
     1.7 +  Tools/fontforge.scala
     1.8    Tools/imports.scala
     1.9    Tools/main.scala
    1.10    Tools/mkroot.scala