Commits · feat-log-in · deadlock-public / deadlock-theia

Apr 11, 2022
- refactor: connect uri handler with choose mission workir and connection · 1cfd4bac
  Lansana DIOMANDE authored 3 years ago
  
  1cfd4bac
- refactor: add prettier and git hook on deadlock-theia project · eeb6aca3
  Lansana DIOMANDE authored 3 years ago
  
  eeb6aca3
- refactor: add prettier and git hook on deadlock-theia project · 8a852309
  Lansana DIOMANDE authored 3 years ago
  
  8a852309
Mar 17, 2022
- docs: complete way to build · 7f2df9d1
  Alex authored 3 years ago
  
  7f2df9d1
Feb 24, 2022
- doc: refacto recorder part · f0d8aef5
  Alexandra authored 3 years ago
  
  f0d8aef5
Feb 14, 2022
- chore: upgrade java plugin to 0.21.0 · 2d27bbf5
  Alex authored 3 years ago
  
  2d27bbf5
Dec 07, 2021
- docs: complete with instructions · 70b671af
  Alex authored 3 years ago
  
  70b671af
- chores: clean theia resources · 8a8ab05c
  Alex authored 3 years ago
  
  8a8ab05c
- feat: use new theia build · 43dee036
  Alex authored 3 years ago
  
  43dee036
Nov 25, 2020
- feat: professor mode · e43c89ab
  Alex authored 4 years ago
  
  e43c89ab