the "DO NOT EDIT" comment in .mod files should start with '#'#5047

Merged

lachlan-roberts merged 1 commit intojetty-9.4.xfrom jetty-9.4.x-moduleCommentDoNotEdit

Jul 15, 2020

+121-121

Commits on Jul 15, 2020

the DO NOT EDIT comment in .mod files should start with '#'
lachlan-roberts
committed