diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2018-04-10 15:01:35 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-04-10 15:02:48 +0200 |
commit | 040e9ecae01420dbe4acedc7bbe150f27276f507 (patch) | |
tree | d7d49f53d1b6eb65e73b19efcd05e4ec664f0b2a /editor/doc | |
parent | 48890b15c5b5ff54ea2cf416a9d3157f2d5dee5b (diff) |
Travis: Use XCode 9.3 / macOS 10.13 for osx/iphone builds
Diffstat (limited to 'editor/doc')
0 files changed, 0 insertions, 0 deletions