[gringo] 05/07: Remove NOTES.

[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 dd31aa1888515599cfd390ab4857dae219726403
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sat Jul 11 09:33:31 2015 +0200

    Remove NOTES.
---
 debian/docs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/debian/docs b/debian/docs
index 7475e4b..a89eb2b 100644
--- a/debian/docs
+++ b/debian/docs
@@ -1,3 +1,2 @@
 README
-NOTES
 examples

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