summarylogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorGuilhem Saurel2017-09-20 18:18:11 +0200
committerGuilhem Saurel2017-09-20 18:18:11 +0200
commita92a7ab15f24d8973fd979fe417f057d190c8096 (patch)
treec7b571e93b99d6c3bbe95435db673eee68ab9862 /.gitignore
parentbda1b10e8296b418edb6dd4c8d3031761612eb40 (diff)
downloadaur-a92a7ab15f24d8973fd979fe417f057d190c8096.tar.gz
hpp-fcl is not mandatory
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 000000000000..606fae6d17b2
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,2 @@
+pinocchio
+src