3 ms·
In case you want to download the complete thing: wget -r -np -nH --cut-dirs=3 -R '.html,.tmp' https://people.inf.ethz.ch/wirth/ProjectOberon/index.html https:/
by eterps 3y ago
In case you want to download the complete thing:
wget -r -np -nH --cut-dirs=3 -R '.html,.tmp' https://people.inf.ethz.ch/wirth/ProjectOberon/index.html https://people.inf.ethz.ch/wirth/ProjectOberon/index.html