2 Commits (52174fdc33b428cafbc6bdd8837803c3bd73b999)

Author	SHA1	Message	Date
Jules Villard	f915564f52	fix permission of test scripts ... Summary: Somehow I checked them in without the executable bit set... Reviewed By: cristianoc Differential Revision: D3457820 fbshipit-source-id: 83c3d13	9 years ago
Jules Villard	8796f2c7ef	add travis CI ... Summary: Add a Travis file that builds Infer via opam. Will add docker soon. Reviewed By: cristianoc Differential Revision: D3444060 fbshipit-source-id: 11432da	9 years ago