Emily 72b7e8668c version: default Git revision options to null ... This allows for more uniform handling in the documentation generator, and avoids lying about the Git reference being `master` internally.		2023-07-09 07:26:00 +01:00
..
default.nix	version: default Git revision options to null	2023-07-09 07:26:00 +01:00