[PATCH] gitk: Make the date/time display configurable
tree5586e0d37af51d412d7c7c7c75c003eb85edd5ee
-rwxr-xr-x 213462 gitk