clarified README;
avoid odd patching of sources;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEcf1a1e92bf34: more standard header, with utf-8 encoding;
- Branches
- Unknown
- Tags
clarified README; Tags None Subscribers None
Description
Details
|