src/Pure/build-jars
changeset 66211 100c9c997e2b
parent 66141 81c8bb1d33b9
child 66347 23eaab37e4a8
     1.1 --- a/src/Pure/build-jars	Wed Jun 28 14:17:05 2017 +0200
     1.2 +++ b/src/Pure/build-jars	Thu Jun 29 11:36:25 2017 +0200
     1.3 @@ -172,6 +172,7 @@
     1.4    ../Tools/VSCode/src/protocol.scala
     1.5    ../Tools/VSCode/src/server.scala
     1.6    ../Tools/VSCode/src/state_panel.scala
     1.7 +  ../Tools/VSCode/src/vscode_javascript.scala
     1.8    ../Tools/VSCode/src/vscode_rendering.scala
     1.9    ../Tools/VSCode/src/vscode_resources.scala
    1.10    ../Tools/VSCode/src/vscode_spell_checker.scala