[gringo] 08/20: install lpconvert

[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 7c36e8a7785d2ba4e8281fd79cc594e179639ae6
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sun Dec 11 14:27:20 2016 +0100

    install lpconvert
---
 debian/install | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/install b/debian/install
index dd56b49..57650b3 100644
--- a/debian/install
+++ b/debian/install
@@ -1,3 +1,4 @@
 build/release/gringo usr/bin/
 build/release/clingo usr/bin/
 build/release/reify usr/bin/
+build/release/lpconvert usr/bin/

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