From a0d6cdf227e3ae81eb4442a451158243e3d0830f Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Mon, 29 Aug 2016 14:10:38 -0500
Subject: [PATCH] Remove extraneous stuff from grudge.xml

---
 grudge.xml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/grudge.xml b/grudge.xml
index 810fa60..c586783 100644
--- a/grudge.xml
+++ b/grudge.xml
@@ -15,9 +15,6 @@
        the order in which code is built. -->
 
   <project path="bin" remote="gitlab" name="inducer/akprojects-bin.git" />
-  <project path="boost-numeric-bindings" remote="gitlab" name="inducer/boost-numeric-bindings.git" />
-  <project path="aksetup" name="inducer/aksetup.git" />
-  <project path="akdoc_theme" name="inducer/akdoc_theme.git" />
 
   <project path="pytools" name="inducer/pytools.git" />
   <project path="pymbolic" name="inducer/pymbolic.git" />
-- 
GitLab