HistoryPage: make HEAD dot smaller
commit9043dcc02f1ec304175b61757cf7b5c96a120757
authorRobin Rosenberg <robin.rosenberg@dewire.com>
Sun, 9 Sep 2007 22:10:49 +0000 (10 00:10 +0200)
committerRobin Rosenberg <robin.rosenberg@dewire.com>
Mon, 10 Sep 2007 17:53:49 +0000 (10 19:53 +0200)
treec99c002204d920fd6cf10d1249874ad67969aaae
parent3eaa8989af4bf1bdcbe4bfd15cc03e704d74664b
HistoryPage: make HEAD dot smaller

Signed-off-by: Robin Rosenberg <robin.rosenberg@dewire.com>
org.spearce.egit.ui/src/org/spearce/egit/ui/GitHistoryPage.java