Martin Weinelt fb7eb9e80c grip: trim dependencies ... Uses much less dependencies than we were giving it these days.		2022-01-19 13:45:06 +01:00
..
default.nix	grip: trim dependencies	2022-01-19 13:45:06 +01:00