[gazebo] 01/09: Added filter to gdp.conf

Jose Luis Rivero jrivero-guest at moszumanska.debian.org
Wed Oct 28 00:24:31 UTC 2015


This is an automated email from the git hooks/post-receive script.

jrivero-guest pushed a commit to branch master
in repository gazebo.

commit 58501eeb0fbdbacea7726e69b1da83e30bd801c7
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Mon Oct 26 13:52:02 2015 +0100

    Added filter to gdp.conf
---
 debian/gdp.conf | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/debian/gdp.conf b/debian/gdp.conf
new file mode 100644
index 0000000..a4b7509
--- /dev/null
+++ b/debian/gdp.conf
@@ -0,0 +1,3 @@
+[git-import-orig]
+filter = ['media/fonts/arial.ttf']
+filter-pristine-tar = True

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gazebo.git



More information about the debian-science-commits mailing list