This repository has been archived on 2025-09-25. You can view files and clone it, but cannot push or open issues or pull requests.

Jakub Kropáček e41ded4213 added docker		2024-09-26 21:05:27 +02:00
..
dev	added docker	2024-09-26 21:05:27 +02:00
default.nix	started reformatting and added formatter	2024-09-19 17:44:40 +02:00