Finally, I also tried a git "sparse checkout" to only obtain the data/fonts/
subdirectory. It does not seem to do what I need, as it still claims it will
download 1.5 GB. My guess is that it filters the files after the download.

Andreas


Reply via email to