Rob d5942e4513 fix bad merge

2023-10-01 22:21:14 -07:00

..

default.nix

fix bad merge

2023-10-01 22:21:14 -07:00

version.patch

restore original version strategy with no git hash.

2023-10-01 18:43:03 -07:00