CHANGELOG.md



To find the state of this project's repository at the time of any of these versions, check out the tags.


[1.4] 24/02/2022

chore: remove java plugin
feat: prefix path instead of suffix for hosts

[1.3] 14/02/2022

upgrade java plugin to 0.21.0
support of git for student

[1.2] 27/11/2020

Image supports in briefing
Set theia-full instead of theia-java (https://git.e-biz.fr/deadlock-public/deadlock-theia/-/issues/2)

[1.1] 27/11/2020

preStop hook ok
GitLens integration
Keep view on memory

[1.0] 02/10/2020

git integration
recorder-command
docs/ support