Tags and Properties for Check-in c5cbf4bc54

Context
2022-04-22
09:16
rename default.nix to shell.nix check-in: c5cbf4bc54 user: jboy tags: trunk
2020-11-16
15:01
initial empty check-in check-in: a63ef605f5 user: jboy tags: trunk