githubnext/ace2Public

Ace: a collaborative coding environment on the team's own machines

chore: say unknown navigation dispatch may have happened

IAiamnbutler authored
8f227e1Patch
Parent8ff9cd2
1 file changed+4-4
StackedSplit
docs/browser-tools.md+4 −4