summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2013-08-25 16:17:22 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2013-08-25 16:17:22 +0100
commit137c52ea5d2df0b07c30420697297032842407f4 (patch)
treebd7fcd136c1e155458c04c7b6f991fa6019c86cb /.gitignore
parenta17b1a3b36a31ac8def26e0a5aeca865873c9374 (diff)
Fix a badly open-coded copy of check_not_dirty. Closes: #720524.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions