]> git.openstreetmap.org Git - chef.git/commitdiff
Actually delete files.
authorMatt Amos <zerebubuth@gmail.com>
Mon, 16 Apr 2018 16:39:07 +0000 (17:39 +0100)
committerMatt Amos <zerebubuth@gmail.com>
Mon, 16 Apr 2018 16:39:07 +0000 (17:39 +0100)

No differences found