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