diff INSTALL @ 5071:8fbe84997e23

another try to fix
author Sebastien Jodogne <s.jodogne@gmail.com>
date Mon, 15 Aug 2022 18:25:28 +0200
parents 19a2f1d2b816
children
line wrap: on
line diff