Skip to content

Added accessors for navigation state index.

Andrei Gheata requested to merge navind_accessors into master

The navigation index has now a getter and setter.

Merge request reports