chiark / gitweb /
New --ignore-dirty option to skip noncritical check. Closes: #720895.
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 26 Aug 2013 15:44:47 +0000 (16:44 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 26 Aug 2013 15:44:47 +0000 (16:44 +0100)

No differences found