Remove jenkins.

io7m-com · Apr 30, 2024 · c8d7e53 · c8d7e53
1 parent 6dc8b37
commit c8d7e53
Show file tree

Hide file tree

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

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