« Previous | Next » 

Revision b3595d5c

IDb3595d5c5049817153eae9a1a19b2309144e2e12
Parent 9dc67984
Child c7b7cd1d

Added by Carlos Martín about 5 years ago

Feature #4363: Replace tiny buttons with small ones

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences