[gringo] 06/07: Install reify.

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

    Install reify.
---
 debian/install | 1 +
 1 file changed, 1 insertion(+)

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

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