Tools - Remove old Jenkins and publishing tools (#1279)

IDI-Systems · Sep 6, 2023 · dcfcf22 · dcfcf22
1 parent aba8192
commit dcfcf22
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 558 deletions.
diff --git a/manifest.json b/manifest.json
diff --git a/tools/jenkins.py b/tools/jenkins.py