From adb23d9d6c6fdaa20d75af3c3c5054ae4b91021d Mon Sep 17 00:00:00 2001
From: Gary Talent <gtalent2@gmail.com>
Date: Tue, 22 Oct 2019 19:32:50 -0500
Subject: [PATCH] [nostalgia] Remove Dockerfile from Jenkinsfile

---
 Jenkinsfile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index d8eab0c2..8d3f8dec 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,4 @@
 pipeline {
-	agent { dockerfile true }
 	stages {
 		stage('Build') {
 			steps {