diff options
| author | Jason Gross | 2016-01-13 14:20:11 -0500 |
|---|---|---|
| committer | Jason Gross | 2016-01-13 14:26:45 -0500 |
| commit | 50ff07dc7bdb708cee381c3f7eb2e58e75263153 (patch) | |
| tree | 2e9270c01edb572b7ebb4201c2165ca943b14308 /FAQ | |
| parent | e9e2f7ec5f50916e11b44162762f30f1f6a2b659 (diff) | |
Add .travis.yml file adapted from fstar-mode.el
From https://github.com/FStarLang/fstar-mode.el/blob/master/.travis.yml
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions