Rename jenkins file

2018-10-22 19:30:59 +01:00 · 2018-10-22 19:30:59 +01:00 · 8e65e6e8b6
commit 8e65e6e8b6
parent 30dc5a3d35
2 changed files with 1 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@ -16,4 +16,4 @@
 !/LICENSE
 !/README.md
 !/settings.gradle
-!/BuildFile
+!/Jenkinsfile
--- a/0
+++ b/0