Remove jenkins.

io7m-com · May 1, 2024 · c0a390f · c0a390f
1 parent ee2b41e
commit c0a390f
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 5 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,4 +0,0 @@
-[submodule ".jenkins"]
-	path = .jenkins
-	url = https://www.github.com/io7m-com/jenkinsfiles
-	shallow = true

diff --git a/.jenkins b/.jenkins