diff INSTALL @ 2836:7133ad478eea

fix Debian warnings
author Sebastien Jodogne <s.jodogne@gmail.com>
date Thu, 20 Sep 2018 16:17:46 +0200
parents 8b6b0b6ece6b
children c6dab987f43a
line wrap: on
line diff