diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2019-12-27 12:43:03 +0100 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2019-12-27 12:43:03 +0100 |
commit | ec8b343dafdb70acc4a948ef737d83a3cc4d9f7b (patch) | |
tree | eabe92fa5461f0bf2ed2ac6141e4342e5189bbd9 /ext | |
parent | b8701d847db37b80a58770e00b91494889df00e8 (diff) |
Handle submodules in appveyor
Diffstat (limited to 'ext')
0 files changed, 0 insertions, 0 deletions