diff options
author | Graham Christensen <graham@grahamc.com> | 2018-10-05 10:48:42 -0400 |
---|---|---|
committer | Graham Christensen <graham@grahamc.com> | 2018-10-05 11:06:28 -0400 |
commit | 4312cfdbda1855088905a3d9959a4fac362fd051 (patch) | |
tree | fa5fcd7c6d2c18d583057b9ccf0f6f964565af2d /doc/.gitignore | |
parent | 730dac1d7bccd4f4d540c780fc94133807757493 (diff) |
version.nix: extract revision-fetching function
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions