« Previous | Next » 

Revision 1d72dcdc

ID1d72dcdc3425b7af5981e2c31d2f9e66d2ccacb9

Added by Markos Gogoulos almost 14 years ago

make smaller wave and spinner icons on gui

Refs #293

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences