[kido] 03/04: Added debian watch file

[Jose Luis Rivero]

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

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

commit 4f0b28101f6902010f831b72f0ba8907a91bccd4
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Tue Jul 12 23:14:42 2016 +0000

    Added debian watch file
---
 debian/watch | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/debian/watch b/debian/watch
new file mode 100644
index 0000000..14e2853
--- /dev/null
+++ b/debian/watch
@@ -0,0 +1,3 @@
+version=3
+opts=filenamemangle=s/.+\/v?(\d\S*)\.tar\.gz/<project>-$1\.tar\.gz/ \
+  https://github.com/dartsim/dart/tags .*/kido-(\d\S*)\.tar\.gz

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