From f05f5d4c499d136c7d38d2ca73be0a6732fff05c Mon Sep 17 00:00:00 2001
From: Christoph Egger <christoph@christoph-egger.org>
Date: Tue, 15 Sep 2015 15:28:57 +0200
Subject: [PATCH] Ubuntu instructions work as well on debian

---
 INSTALL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL b/INSTALL
index fcc60be..d6399d8 100644
--- a/INSTALL
+++ b/INSTALL
@@ -21,7 +21,7 @@ Dependencies:
     * Googlesparsehash package
     * BuDDy BDD package.
 
-On Ubuntu, install the following packages:
+On Debian or Ubuntu, install the following packages:
 
   - git
   - build-essential
-- 
GitLab