[robot-player] 07/08: Use system jquery instead of own jquery

[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 robot-player.

commit ce8f02c25bed9a545fab22ebcd8069adc84d1a17
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Sun Nov 15 00:25:12 2015 +0000

    Use system jquery instead of own jquery
---
 debian/robot-player-doc.links | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/robot-player-doc.links b/debian/robot-player-doc.links
new file mode 100644
index 0000000..48d084c
--- /dev/null
+++ b/debian/robot-player-doc.links
@@ -0,0 +1 @@
+usr/share/javascript/jquery/jquery.js usr/share/doc/player/html/jquery.js

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