src/Pure/build-jars
changeset 66096 6187612e83c1
parent 65983 d8c5603c1732
child 66098 5aa9cb83e70e
     1.1 --- a/src/Pure/build-jars	Fri Jun 16 16:00:44 2017 +0200
     1.2 +++ b/src/Pure/build-jars	Fri Jun 16 16:21:17 2017 +0200
     1.3 @@ -171,6 +171,7 @@
     1.4    ../Tools/VSCode/src/preview.scala
     1.5    ../Tools/VSCode/src/protocol.scala
     1.6    ../Tools/VSCode/src/server.scala
     1.7 +  ../Tools/VSCode/src/state.scala
     1.8    ../Tools/VSCode/src/vscode_rendering.scala
     1.9    ../Tools/VSCode/src/vscode_resources.scala
    1.10  )