« Previous | Next » 

Revision f841ed5b

IDf841ed5bab8e4d65dbc164755f2ba9d724ffb6a1
Parent 01a30cd0
Child 8183276c

Added by Panagiotis Astithas about 14 years ago

Display the file URI unconditionally, since it can be now meaningfully used even when not public. Also reword the label and tooltip in order to be more evident for inexperienced users.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences