From b5d201d731b8414a8391af9c08424eeaadbb4f72 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Mon, 2 May 2022 19:16:43 -0500
Subject: [PATCH] Add pyrometheus to manifest

---
 default.xml | 3 +++
 dev.xml     | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/default.xml b/default.xml
index 84ad18a..dff162d 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 5b4632c..40542eb 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" />
 <!--
-- 
GitLab