[PATCH] Provide configurable UI font for gitk
treeeeb86cefc9710f198c07908df1d4b5d17ad1d57e
-rwxr-xr-x 110331 gitk