correctifs mineurs #45

Merged
viennet merged 1 commits from jmplace/DocScoDoc:fix_2022-08-03 into master 2022-08-30 12:06:02 +02:00

1 Commits

Author SHA1 Message Date
Jean-Marie PLACE
3b536525cc correctifs mineurs 2022-08-30 07:47:13 +02:00