Skip to content

Scaladoc: Make member filtering case-insensitive#14430

Merged
pikinier20 merged 1 commit intoscala:mainfrom jchyb:scaladoc/fix-i14421Feb 15, 2022

Commits

Commits on Feb 8, 2022