« Previous | Next » 

Revision 92d25234

ID92d25234952cba507105c8d28efdbfc8b24b7122
Parent 7a2c9f03
Child dfa21d6a

Added by Daniel Molina over 6 years ago

feature #3174: Display resource name in header-resource

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences