Closed michele-riva closed 1 year ago
All the html files in doc.zip in release v0.7.2 are missing the .html extension. This makes Windows go nuts about which program to use to open the files.
This is taken care of with the new documentation (since v0.8.0).
All the html files in doc.zip in release v0.7.2 are missing the .html extension. This makes Windows go nuts about which program to use to open the files.