chore: remove old files not used anymore

orientechnologies · Feb 16, 2024 · cafea58 · cafea58
1 parent beeb7b2
commit cafea58
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 373 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
diff --git a/Jenkinsfile-crash.groovy b/Jenkinsfile-crash.groovy
diff --git a/distribution-tp2/pom.xml b/distribution-tp2/pom.xml