| commit | f9a78abeb0380c2d828b43a9c79bbd281b72d2ba | |
| author | spiralvoice <spiralvoice> | |
| Sat, 20 Mar 2010 13:25:22 +0000 (20 13:25 +0000) | ||
| committer | spiralvoice <spiralvoice> | |
| Sat, 20 Mar 2010 13:25:22 +0000 (20 13:25 +0000) | ||
| tree | dff8a17389c62840b18ab99d2d456e99cb4189f5 | treesnapshot (tar.gz zip) |
| parent | 49bf7fe766eb24814edf542e0cc045264f69d4e0 | commitdiff |
patch #6968
| distrib/ChangeLog | diffblobblamehistory | |
| src/gtk2/gui/guiServers.ml | diffblobblamehistory |