diff options
author | Trevor Elliott <trevor@galois.com> | 2013-05-16 14:57:49 -0700 |
---|---|---|
committer | Trevor Elliott <trevor@galois.com> | 2013-05-16 14:57:49 -0700 |
commit | 9bdeddf57384eafe7a7000a70a19dd9fa1c2b291 (patch) | |
tree | f017cdcb07507566893e5b2f65ee726b83871241 /.gitignore | |
parent | 9724ba49770ecbcca00110a8ef1d16e09d2c6e74 (diff) |
Report absolute paths as relative to $(topdir)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions