aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2018-04-17 16:30:26 +0200
committerCyril SIX <cyril.six@kalray.eu>2018-04-17 16:30:26 +0200
commit3997c0bc61ddbbceefd449a8007e7212add8ac4a (patch)
treef75c6a9409ee76b6f628f012a88f1c4e293b7f85 /.gitignore
parent8a77a2d41eb560ce9dbc3669971ccbc342743784 (diff)
downloadcompcert-kvx-3997c0bc61ddbbceefd449a8007e7212add8ac4a.tar.gz
compcert-kvx-3997c0bc61ddbbceefd449a8007e7212add8ac4a.zip
MPPA - added all shifts
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 99ec0c72..eeec81f8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,6 @@
# Object files, in general
+**#*#
+**.swp
**.bin
**.out
**.tok