Torkel Ödegaard e9d5e037e8 ux: merge branch navbarv2, new navbar with dashboard search available on all pages, closes #6475 8 years ago
..
help.html e9d5e037e8 ux: merge branch navbarv2, new navbar with dashboard search available on all pages, closes #6475 8 years ago
help.ts 997da1b266 fix a typo in the shortcut help modal (#8078) 8 years ago