diff --git a/scripts b/scripts new file mode 120000 index 000000000..8f67c5cc2 --- /dev/null +++ b/scripts @@ -0,0 +1 @@ +ci/travis \ No newline at end of file