[gringo] 19/20: debian/gringo.manpages: add lpconvert.1

[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 6fc57394e51ad05ef68bddb6888f9b172ef9d215
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sun Dec 11 15:43:34 2016 +0100

    debian/gringo.manpages: add lpconvert.1
---
 debian/gringo.manpages | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/gringo.manpages b/debian/gringo.manpages
index 96bcb41..8d0e373 100644
--- a/debian/gringo.manpages
+++ b/debian/gringo.manpages
@@ -1,3 +1,4 @@
 gringo.1
 clingo.1
 reify.1
+lpconvert.1

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