diff --git a/default.xml b/default.xml index 84ad18a5fe8a48c25719624e6bfc37b022988822..dff162d4ccd37f1f2c7f3ab103ee0dd3c0456122 100644 --- a/default.xml +++ b/default.xml @@ -54,4 +54,7 @@ <!-- DG --> <project path="grudge" name="inducer/grudge.git" /> <project path="mirgecom" name="illinois-ceesd/mirgecom.git" /> + + <!-- combustion --> + <project path="pyrometheus" name="pyrometheus/pyrometheus.git" /> </manifest> diff --git a/dev.xml b/dev.xml index 5b4632c27b47e1073814bc02a2d6ae9b58222486..40542eb7d177d1981e137ae02f3d74bf7d89b5ff 100644 --- a/dev.xml +++ b/dev.xml @@ -58,6 +58,9 @@ <project path="grudge" name="inducer/grudge.git" /> <project path="mirgecom" name="illinois-ceesd/mirgecom.git" /> + <!-- combustion --> + <project path="pyrometheus" name="pyrometheus/pyrometheus.git" /> + <!-- random stuff --> <project path="experiments" remote="gitlab" name="inducer/experiments.git" /> <!--