diff --git a/dev.xml b/dev.xml index 004fdcc2c2b1785381218a399da5ea3f54be3cfd..7b5014c9a8b9eccf9064d1b1cabba831e7f6cdbf 100644 --- a/dev.xml +++ b/dev.xml @@ -49,13 +49,14 @@ <project path="meshmode" name="inducer/meshmode.git" /> <project path="pytential" name="inducer/pytential.git" /> - <!-- DG --> - <project path="hedge" name="inducer/hedge.git" /> - <!-- time integration --> <project path="dagrt" remote="gitlab" name="inducer/dagrt.git" /> <project path="leap" remote="gitlab" name="inducer/leap.git" /> + <!-- DG --> + <project path="grudge" remote="gitlab" name="inducer/grudge.git" /> + <project path="hedge" name="inducer/hedge.git" /> + <!-- random stuff --> <project path="experiments" remote="gitlab" name="inducer/experiments.git" /> <project path="photonics-dg" remote="gitlab" name="photonics/photonics-dg.git" />