feat: gravimag installation #366

Merged
Sainan merged 2 commits from gravimag into main 2024-06-22 09:40:51 -07:00

2 Commits

Author SHA1 Message Date
31e6941806 remove needless casts 2024-06-22 18:09:12 +02:00
e678cc54ed feat: gravimag installation 2024-06-22 18:05:10 +02:00