Skip to content
Commit b1707944 authored by Ondřej Hrdlička's avatar Ondřej Hrdlička
Browse files

Renamed BorderedJList to ModeledJList since the border is no longer its defining trait

parent d67ae963
Pipeline #105490 passed with stage
in 33 seconds