diff options
author | Benjamin Barenblat <bbarenblat@galois.com> | 2013-12-20 13:57:39 -0800 |
---|---|---|
committer | Benjamin Barenblat <bbarenblat@galois.com> | 2014-01-06 14:44:40 -0800 |
commit | a9067eb46b845f70c9282bad59fbe6e8dba0e515 (patch) | |
tree | 8bf9dcaf564127e26f07a21ad2fb95c755f66ce5 /.gitignore |
Initial commit
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..495866c --- /dev/null +++ b/.gitignore @@ -0,0 +1,50 @@ +# .gitignore for the V-REP automobile plugin -*- conf -*- + +# Editor backup files +*~ +\#* +.\#* + +# autoscan +autoscan.log +configure.scan + +# aclocal +aclocal.m4 +autom4te.cache/ +m4/libtool.m4 +m4/lt*.m4 + +# autoconf +configure + +# autoheader +config.h.in + +# libtoolize +ltmain.sh + +# automake +Makefile.in +ar-lib +config.guess +config.sub +depcomp +install-sh +missing + +# configure +.deps/ +Makefile +config.h +config.log +config.status +libtool +ppamltracer.pc +stamp-* + +# make +.libs/ +*.la +*.lo +*.o |