« Previous | Next » 

Revision e5c4aeab

IDe5c4aeaba2b9436119041cbac0b8bf3ab7bc748e
Parent 48f83532
Child f040e1a6

Added by Hector Sanjuan over 9 years ago

Minor fixes to GUIs style.
(cherry picked from commit bd2d5b557c3b973652e8760447a958a576450b53)

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences