summaryrefslogtreecommitdiff
path: root/kern
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2022-11-29 16:10:21 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2022-11-29 16:10:21 +0100
commit0afd533bfef628d0ef8476bbaaab78c6a1336873 (patch)
treee53289db16e2472317d48afb5506e2accb65c91f /kern
parent411be477d8cc87b0700fda70c050e1447a262c84 (diff)
Add missing gitignore rules
Diffstat (limited to 'kern')
-rw-r--r--kern/.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/kern/.gitignore b/kern/.gitignore
new file mode 100644
index 00000000..72bccc6b
--- /dev/null
+++ b/kern/.gitignore
@@ -0,0 +1,2 @@
+exc.none.defs.c
+exc.none.msgids