[urdfdom] 03/04: README has change the name

Jose Luis Rivero jrivero-guest at moszumanska.debian.org
Mon Mar 24 21:10:18 UTC 2014


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

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

commit 933ddeb15ca8b3cbc487cf5ed9cd31a418696356
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Mon Mar 24 20:37:45 2014 +0000

    README has change the name
---
 debian/docs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/docs b/debian/docs
index 71dfd5b..b43bf86 100644
--- a/debian/docs
+++ b/debian/docs
@@ -1 +1 @@
-README.txt
+README.md

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



More information about the debian-science-commits mailing list