diff --git a/grudge.xml b/grudge.xml index 810fa60d89d88cbc676801f13dc33d59caefeb92..c586783ccf93ee894b564d8ef4be7fda84c91fd9 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" />