Skip to content

remove deprecated html flag removed in newer version of Java#21

Merged
jburel merged 3 commits intoome:masterfrom jburel:doc_optionDec 21, 2022