diff README @ 4671:42e1f5bde40b

added sanity check
author Sebastien Jodogne <s.jodogne@gmail.com>
date Fri, 28 May 2021 18:44:00 +0200
parents 7822fa96f9c8
children 1f7ac929e788
line wrap: on
line diff