[gringo] 18/20: Ignore quilt dir

Thomas Krennwallner tkren-guest at moszumanska.debian.org
Sun Dec 11 21:06:58 UTC 2016


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

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

commit 54baa5d121c4eeaa48147cc50226228b4a6b1f8b
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sun Dec 11 14:28:40 2016 +0100

    Ignore quilt dir
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 4df41fa..80c16e0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,3 +15,4 @@ x64
 libgringo/generated
 homewv.sh
 .nfs*
+.pc

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



More information about the debian-science-commits mailing list