changelog
eliminate redundant head
- Wed, 29 Dec 2010 09:06:17 +0000
- by Philip Pemberton <philpem@philpem.me.uk> [Wed, 29 Dec 2010 09:06:17 +0000] rev 79
- eliminate redundant head
merge heads (properly this time)
- Wed, 29 Dec 2010 09:04:43 +0000
- by Philip Pemberton <philpem@philpem.me.uk> [Wed, 29 Dec 2010 09:04:43 +0000] rev 78
- merge heads (properly this time)