summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2013-08-22 13:58:50 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2013-08-22 13:58:50 +0100
commit8f04e1aea8377adbd2e8b178a32b31770373e902 (patch)
treeda23a552aa7e14f7b4958940ed22f7cb197629db /.gitignore
parent08a4cefb989b93dec53d5357e3b40d04340884cc (diff)
in check_not_dirty, diff against HEAD as that's what we care about
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions