Merge branch 'dev' of github.com:cismet/cids-navigator into dev
minor jalopy changes
Merge branch 'dev' of github.com:cismet/cids-navigator into dev
fixes #74: improved readability of selected checkboxes in tables
Merge branch 'feature/74-improve-readability-of-selected-checkboxes-in-tables' into dev