chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0065aca) | patch
Ignore unknown force options (with a warning)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 23 Oct 2016 15:56:20 +0000 (16:56 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 24 Oct 2016 01:05:08 +0000 (02:05 +0100)
commitccfc95580e156fea90357f0478ea013ac2231640
treeeb7afa9676010f222678e928c3429c655e4a23c1tree | snapshot
parent0065acabe8a273a32c30043fc41ee063166d29cecommit | diff
Ignore unknown force options (with a warning)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dgit diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.