remove jenkins (#1008)

2019-08-03 00:51:14 +02:00
parent 310fc63132
commit a5f9590723
1 changed files with 0 additions and 7 deletions
--- a/builds/pr/Jenkinsfile
+++ b/builds/pr/Jenkinsfile
@@ -1,7 +0,0 @@
-#!/usr/bin/groovy
-
-@Library('shared-pipelines') _
-
-desktop_pr {
-    
-}