another patch from Thomas
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 4 May 2022 14:56:02 +0000 (16:56 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 4 May 2022 14:56:04 +0000 (16:56 +0200)
commit15678418a9a7e97678333d92a344b49d37b75248
tree87197f12f874646e452945dd53f55bb387cfb944
parent9b34d6c4c00f52b8e85a9c159c6591317b425654
another patch from Thomas
myplc-docs.spec