Homec4science

delete dead code, move unwanted getters to private, put element filter in src

Authored by saduruss on Mar 13 2023, 15:03.

Description

delete dead code, move unwanted getters to private, put element filter in src

Details

Committed
sadurussMar 13 2023, 15:03
Pushed
gitlab-richartMar 13 2023, 15:03
Parents
rAKA23cdc15365b4: formatting
Branches
Unknown
Tags
Unknown