Commits · 8b442ff4939132a4d31c8e948c28752460388131 · deadlock-public / deadlock-theia · GitLab

Snippets Groups Projects

Apr 14, 2022
- refactor: apply some recommendation · cc647f51
  Lansana DIOMANDE authored Apr 14, 2022
  
  cc647f51
Apr 11, 2022
- refactor: add prettier and git hook on deadlock-theia project · 8a852309
  Lansana DIOMANDE authored Apr 11, 2022
  
  8a852309
Dec 07, 2021
- feat: use new theia build · 43dee036
  Alex authored Dec 3, 2021
  
  43dee036
Jan 19, 2021
- support images in briefing and setup theia-full · 0be9db28
  Alexandra authored Jan 19, 2021
  
  View commits for tag 1.2 1.2
  
  0be9db28
Nov 02, 2020
- feat: git integration to pull/push user code · 70ecbe71
  Alex authored Oct 13, 2020
  
  70ecbe71
Aug 27, 2020
- fix: rm old theia dependency · 0a7f1b9b
  Alex authored Aug 27, 2020
  
  0a7f1b9b
Aug 05, 2020
- fix: origin may be undefined · 77fe8ae2
  Alex authored Aug 5, 2020
  
  77fe8ae2
- fix: close bracket · 628d8b67
  Alex authored Aug 5, 2020
  
  628d8b67
- chore: allow cors from deadlock.io · bddd8422
  Alex authored Aug 5, 2020
  
  bddd8422