diff options
author | Tristan Sloughter <tristan.sloughter@gmail.com> | 2015-08-22 13:48:39 -0500 |
---|---|---|
committer | Tristan Sloughter <tristan.sloughter@gmail.com> | 2015-08-22 13:48:39 -0500 |
commit | 070e9d329bcbae9a7912b7cd84af0a97bc1c3c19 (patch) | |
tree | e8ee88aeb22e8dd2398e45f96a8ef59a0b91c41a /.gitignore | |
parent | 8c826fa92ac2f6f5ebeae92294c367ddc74650d9 (diff) | |
parent | 1aa79082deae79f3757f7cc4024f491ab7b7ac23 (diff) |
Merge pull request #736 from tsloughter/update_erlcinfo
update erlcinfo on disk if source file removed
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions