phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,085 Commits 19 Branches 10 Tags
main
Commit Graph
2 Commits
Author SHA1 Message Date
Jon Eugster 36499c0257 add note for servers with different base url 2024-08-27 14:52:20 +02:00
joneugster 3d97cff0f4 change to vite 2023-11-08 09:30:59 +01:00