diff --git a/mps/.travis.yml b/mps/.travis.yml new file mode 100644 index 00000000000..b455aa397c7 --- /dev/null +++ b/mps/.travis.yml @@ -0,0 +1 @@ +language: c