Commit Graph

465 Commits (main)

Author SHA1 Message Date
Alexander Bentkamp 8fd6b3e015 load levels via uri 2 years ago
Alexander Bentkamp 4d9e1ba7d7 infoview 2 years ago
Alexander Bentkamp 7ae299870b use LeanClient 2 years ago
Alexander Bentkamp 7e78445c43 import editor 2 years ago
Alexander Bentkamp d5fcf148fe load level 2 years ago
Alexander Bentkamp 9a86adb17e rudimentary info request 2 years ago
Alexander Bentkamp 5e64ef848d use wss protocol 2 years ago
Alexander Bentkamp d2fd1c5915 convert tabs to spaces 2 years ago
Alexander Bentkamp 054e28c1ec communicate via JSON RPC 2 years ago
Alexander Bentkamp 796ebfeaab experiment with json rpc on client 2 years ago
Alexander Bentkamp 6863e10790 convert all files to typescript 2 years ago
Alexander Bentkamp e175733b44 make typescript compilation work 2 years ago
Alexander Bentkamp 039464924d use one server for both http and ws 2 years ago
Alexander Bentkamp 732754c9fc rework build process 2 years ago
Alexander Bentkamp 7563730292 init
initalize repo

Co-authored-by: Patrick Massot PatrickMassot@users.noreply.github.com
2 years ago