« Previous | Next » 

Revision 4c69d744

ID4c69d744d01207d9da65e47a09a53a6e5e527cdf

Added by Kostas Papadimitriou about 7 years ago

ui: Proper tab navigation urls

to allow `open in new tab` functionality

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences