comparison ServerMonitor/Properties/Settings.settings @ 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 75ca86e0862c
children f6235dc0a8ec
comparison
equal deleted inserted replaced
20:b21318f6e3f1 21:832a07de0f90