Skip to content
Snippets Groups Projects
user avatar
Daniel Ratiu authored
a first implementation for feature 92 -- now the navigator view can filter out elements that should not be displayed in non-expert view.
refs 92
e3334c6c
History