[gringo] 17/20: debian/docs: use README.md

[Thomas Krennwallner]

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

tkren-guest pushed a commit to branch devel
in repository gringo.

commit 2a0723def25cdf120faf0733b97d0f3b5d590bc1
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sun Dec 11 12:37:06 2016 +0100

    debian/docs: use README.md
---
 debian/docs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/docs b/debian/docs
index a89eb2b..b9de7ba 100644
--- a/debian/docs
+++ b/debian/docs
@@ -1,2 +1,2 @@
-README
+README.md
 examples

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