Dimitris Zervas 1b3f400f3f

Add shell.nix ...

Signed-off-by: Dimitris Zervas <dzervas@dzervas.gr>

2024-07-28 16:24:03 +03:00

..

settings.json

Add shell.nix

2024-07-28 16:24:03 +03:00