diff options
author | Naftuli Tzvi Kay <rfkrocktk@gmail.com> | 2016-08-30 12:14:48 -0700 |
---|---|---|
committer | Jason Zaman <jason@perfinion.com> | 2016-08-31 23:38:26 +0800 |
commit | 1ed2f6c6a9096a0ae8ecadc1270cf527ab141e78 (patch) | |
tree | f84451325eee99c8e1c02516c22f448d18b2acf1 /.gitignore | |
parent | Module version bump for module_load perm use from Guido Trentalancia. (diff) | |
download | hardened-refpolicy-1ed2f6c6a9096a0ae8ecadc1270cf527ab141e78.tar.gz hardened-refpolicy-1ed2f6c6a9096a0ae8ecadc1270cf527ab141e78.tar.bz2 hardened-refpolicy-1ed2f6c6a9096a0ae8ecadc1270cf527ab141e78.zip |
Add Vagrant box for development.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 7eaab2440..200bfebe4 100644 --- a/.gitignore +++ b/.gitignore @@ -18,3 +18,5 @@ /policy/modules/kernel/corenetwork.if /policy/modules/kernel/corenetwork.te /tmp/ + +.vagrant/ |