Revision 1d72dcdc
ID | 1d72dcdc3425b7af5981e2c31d2f9e66d2ccacb9 |
make smaller wave and spinner icons on gui
Refs #293
Files
- added
- modified
- copied
- renamed
- deleted
ID | 1d72dcdc3425b7af5981e2c31d2f9e66d2ccacb9 |
Added by Markos Gogoulos over 13 years ago
make smaller wave and spinner icons on gui
Refs #293