Rolf Bjarne Kvinge c69c74b3d3 Clone files if possible whenever it makes sense. (#5049) ... Cloning is faster when supported, and it also saves disk space.		2018-10-29 16:09:30 +01:00
..
.gitignore	Get the F# binaries from macios-binaries instead of building them every time. (#5015)	2018-10-19 16:54:44 +02:00
Makefile	Clone files if possible whenever it makes sense. (#5049)	2018-10-29 16:09:30 +01:00