diff INSTALL @ 3147:b7c52549595e

removed bad header
author Sebastien Jodogne <s.jodogne@gmail.com>
date Thu, 17 Jan 2019 21:33:27 +0100
parents 8b6b0b6ece6b
children c6dab987f43a
line wrap: on
line diff