summaryrefslogtreecommitdiffstats
path: root/ci.nix
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2018-11-13 22:52:44 +0100
committertv <tv@krebsco.de>2018-11-13 23:17:44 +0100
commitce37b2a9c2a438b7278e8e8ab045df34f00ad386 (patch)
tree03675d20a1ecfe30ce1736dba05bee0fe9bebb0a /ci.nix
parent170c46d53c83c9bf277b7b6dba7e86c052eae257 (diff)
populate git: reset --hard
Diffstat (limited to 'ci.nix')
0 files changed, 0 insertions, 0 deletions