src/Pure/build-jars
changeset 66141 81c8bb1d33b9
parent 66098 5aa9cb83e70e
child 66211 100c9c997e2b
     1.1 --- a/src/Pure/build-jars	Tue Jun 20 16:17:54 2017 +0200
     1.2 +++ b/src/Pure/build-jars	Tue Jun 20 17:08:24 2017 +0200
     1.3 @@ -174,6 +174,7 @@
     1.4    ../Tools/VSCode/src/state_panel.scala
     1.5    ../Tools/VSCode/src/vscode_rendering.scala
     1.6    ../Tools/VSCode/src/vscode_resources.scala
     1.7 +  ../Tools/VSCode/src/vscode_spell_checker.scala
     1.8  )
     1.9  
    1.10