summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2011-10-10 21:11:12 +0000
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2011-10-10 21:11:12 +0000
commitd24eea9dd69e5d8cc6fd941cb778c74d21bcb1cc (patch)
tree83d60cea373e68b6d1514a0b9f218206be0bdce1
parente3a9c655c85540b1bb52030d82506d87e03db1c7 (diff)
parent91db63c82b07eb969c9074862a30ed90ed7ef79a (diff)
Merge remote-tracking branch 'upstream/master' into upstream
-rw-r--r--.gitignore39
1 files changed, 39 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..4488bc2
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,39 @@
+*~
+
+.deps/
+.dirstamp
+*.o
+*.a
+/gnumach
+/gnumach-undef
+/gnumach-undef-bad
+/gnumach.msgids
+
+# Makerules.am
+*.gz
+*.stripped
+
+# Makerules.mig.am
+*.user.*
+*.server.*
+
+autom4te.cache/
+build-aux/
+/INSTALL
+/Makefile
+/Makefile.in
+/aclocal.m4
+/config.h
+/config.h.in
+/config.log
+/config.status
+/config.status.orig
+/configure
+/stamp-h1
+/version.c
+
+# Ignore arch symlinks
+/machine
+/mach/machine
+/linux/src/include/asm
+/linux/dev/include/asm