From eb29e0f192a2b0fb034bec583e4f0e3d69e37f57 Mon Sep 17 00:00:00 2001
From: Dylan Simon <dylan@dylex.net>
Date: Wed, 10 Jun 2020 12:55:28 -0400
Subject: [PATCH] [jenkins] correct jenkins project name

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index b5d89979..2389d7c4 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,4 +1,4 @@
-def projectName = "triqs_dft_tools" /* set to app/repo name */
+def projectName = "dft_tools" /* set to app/repo name */
 
 def dockerName = projectName.toLowerCase();
 /* which platform to build documentation on */