« Previous | Next » 

Revision c3fde9e0

IDc3fde9e026f9076c024e2f3c8cab9e385b6b7d62
Parent 4125ef4c
Child 19f3e879

Added by Carlos Martín about 5 years ago

Feature #3748: Change top bar logo height

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences