diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2013-08-26 16:44:47 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2013-08-26 16:44:47 +0100 |
commit | 7cf634614b9a4ee18a70030e3b340dccd470f908 (patch) | |
tree | 1462eba172d39f8f81fbe8e1b3aba1fc63af85ff /.gitignore | |
parent | d833b697cbd9e0b743b79242209c78651845f559 (diff) |
New --ignore-dirty option to skip noncritical check. Closes: #720895.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions