Fix button-border-width bug in monoMode
[xboard.git] / doc-maint /
2012-03-04 Arun Persaudadded some documentation about what's need to be done...