From f5f377fa3e9ca4df6a7d29bb825abd2064e094ff Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Fri, 7 Nov 2014 11:13:57 -0500
Subject: [PATCH] Add leap to dev set

---
 dev.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/dev.xml b/dev.xml
index 85c32e1..b716572 100644
--- a/dev.xml
+++ b/dev.xml
@@ -53,6 +53,9 @@
   <!-- DG -->
   <project path="hedge" name="inducer/hedge.git" />
 
+  <!-- time integration -->
+  <project path="hedge" remote="gitlab" name="inducer/leap.git" />
+
   <!-- random stuff -->
   <project path="experiments" remote="gitlab" name="inducer/experiments.git" />
   <project path="photonics-dg" remote="gitlab" name="photonics/photonics-dg.git" />
-- 
GitLab