Code

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