Conditionally replace 'other-window' fonts on sizing
[xboard.git] / doc-maint /
2014-01-05 Arun PersaudMerge branch 'v4.7.x' into master
2014-01-05 Arun Persaudcleanup some trailing whitespaces
2012-03-11 Arun PersaudMerge branch 'v4.6.x' into tmp
2012-03-04 Arun Persaudadded some documentation about what's need to be done...