annotate ServerMonitor/Resources/run.png @ 21:832a07de0f90

Fix server name descenders being cut off.
author Brad Greco <brad@bgreco.net>
date Thu, 30 May 2019 21:39:29 -0400
parents 3e1a2131f897
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
3e1a2131f897 Initial commit. Ping check, scheduling, UI working. SSH check mostly working.
Brad Greco <brad@bgreco.net>
parents:
diff changeset
1 (binary:image/png)