diff options
| author |   Christian Göttsche <cgzones@googlemail.com> | 2021-01-31 21:50:33 +0100 |
|---|---|---|
| committer |   Jason Zaman <perfinion@gentoo.org> | 2021-02-06 12:54:11 -0800 |
| commit | 449bb6dbaadb3a5d862ee5b84a9185b2c4785310 (patch) | |
| tree | df13a61075995b62f2fd47c7dc075c716beb3c76 /.gitignore | |
| parent | Rules.monolithic: ignore version mismatch (diff) | |
| download | hardened-refpolicy-449bb6dbaadb3a5d862ee5b84a9185b2c4785310.tar.gz hardened-refpolicy-449bb6dbaadb3a5d862ee5b84a9185b2c4785310.tar.bz2 hardened-refpolicy-449bb6dbaadb3a5d862ee5b84a9185b2c4785310.zip | |
gitignore: ignore monolithic generated files
Signed-off-by: Christian Göttsche <cgzones@googlemail.com>
Signed-off-by: Jason Zaman <perfinion@gentoo.org>
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 3f320d399..4e4f2e3fb 100644 --- a/.gitignore +++ b/.gitignore @@ -22,3 +22,8 @@ /tmp/ .vagrant/ + +# monolithic generated files +/file_contexts +/homedir_template +/policy.conf |