Deleted hg rep

Just an old rep I deleted.