diff INSTALL @ 2970:eea66afed0db

remove redundancies
author Sebastien Jodogne <s.jodogne@gmail.com>
date Thu, 06 Dec 2018 10:10:58 +0100
parents 8b6b0b6ece6b
children c6dab987f43a
line wrap: on
line diff