diff AUTHORS @ 4680:898e8ac8c453

fix build of wsi and stone
author Sebastien Jodogne <s.jodogne@gmail.com>
date Sat, 05 Jun 2021 12:23:54 +0200
parents 08ee586e2b01
children 7053502fbf97
line wrap: on
line diff