modules: describe both module filename styles without giving a clear preference#1703
Closed
RalfJung wants to merge 4 commits into
Closed
modules: describe both module filename styles without giving a clear preference#1703RalfJung wants to merge 4 commits into
RalfJung wants to merge 4 commits into