Closed memsharded closed 6 years ago
cc / @Aalmann
PRobably use JSon output to it too.
cc / @datalogics-kam
cc / @Aalmann
PRobably use JSon output to it too.