diff --git a/d116fccddba5df2aa974b3f5fe8f195ac3bfdef1 b/d116fccddba5df2aa974b3f5fe8f195ac3bfdef1 new file mode 100644 index 0000000..1ccf30b --- /dev/null +++ b/d116fccddba5df2aa974b3f5fe8f195ac3bfdef1 @@ -0,0 +1 @@ +jenkins_trigger: false