diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2015-05-05 22:41:42 -0400 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2015-05-05 22:41:42 -0400 |
commit | 236e1cc4cf377c227020f5da7ba1bb860c7ef36e (patch) | |
tree | 99a7cbbeaeb97174535be52b42ec145993735db4 /man/halt.xml | |
parent | cd2eb9e942eb380a5419cc978ad494807540d357 (diff) |
Add audit type generated files to gitignore
They are not currently used, but the Makefile rules don't know that.
It's easier to ignore them, then to special-case creation rules.
Diffstat (limited to 'man/halt.xml')
0 files changed, 0 insertions, 0 deletions