diff 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
line wrap: on
line diff