summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorfpi2020-07-14 16:50:25 +0200
committerfpi2020-07-14 16:50:50 +0200
commit55c46ecce2478c88e5213bcd3a0d441aef200507 (patch)
treecc6fe542da44bb939f0a181c3a89f8a1eec71073 /.gitignore
parentAdd a basic Makefile (diff)
Make git ignore *.patch files
Diffstat (limited to '')
-rw-r--r--.gitignore3
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 12e29f7..f757d17 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
-tangle/* \ No newline at end of file
+tangle/*
+*.patch \ No newline at end of file