diff options
| author | tv <tv@krebsco.de> | 2018-11-13 22:52:44 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2018-11-13 23:17:44 +0100 |
| commit | ce37b2a9c2a438b7278e8e8ab045df34f00ad386 (patch) | |
| tree | 03675d20a1ecfe30ce1736dba05bee0fe9bebb0a /ci.nix | |
| parent | 170c46d53c83c9bf277b7b6dba7e86c052eae257 (diff) | |
populate git: reset --hard
Diffstat (limited to 'ci.nix')
0 files changed, 0 insertions, 0 deletions