Michael Weiss cc5f7d9091 gitRepo: Cleanup the patchPhase ... This variant should be easier to read (it was pretty messy before...). The end result stays the same.		2019-01-19 12:30:08 +01:00
..
default.nix	gitRepo: Cleanup the patchPhase	2019-01-19 12:30:08 +01:00