From 03fa442a619bc727fb177ef1d0a10d34dba5ee88 Mon Sep 17 00:00:00 2001 From: Nicolas Iooss Date: Wed, 5 Mar 2014 23:08:14 +0100 Subject: [PATCH] Create .gitignore This .gitignore file ignores every file which is removed by "make clean" --- .gitignore | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 .gitignore diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000..7eaab2440 --- /dev/null +++ b/.gitignore @@ -0,0 +1,20 @@ +*.pp +*.py[co] +*.res + +/base.conf +/base.fc +/doc/global_booleans.xml +/doc/global_tunables.xml +/doc/html/ +/doc/policy.xml +/file_contexts +/homedir_template +/net_contexts +/policy.conf +/policy.[0-9]* +/policy/booleans.conf +/policy/modules.conf +/policy/modules/kernel/corenetwork.if +/policy/modules/kernel/corenetwork.te +/tmp/