port to flakes #1

Merged
dadada merged 1 commit from flakes into main 2021-06-27 23:02:26 +02:00

1 commit

Author SHA1 Message Date
2d9150098e
port to flakes 2021-06-27 22:45:34 +02:00