diff --git a/Jenkinsfile.txt b/Jenkinsfile similarity index 100% rename from Jenkinsfile.txt rename to Jenkinsfile