3 ms·

wget?

• Rochus 3y ago
  thanks for the hint; with the -r option I was indeed able to download the whole directory which took ~3.5 hours (31638 files, 18678 of which hidden, 942 MB in total); the tree includes 3441 .mesa files and ~1900 C source files, a lot of which apparently generated.