From 9830051ca4de6091eda59515332e1586e315fb13 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Wed, 1 Feb 2006 18:38:57 +0000
Subject: [PATCH] infra: Remove BRANCHES file.

This was only interesting when severe discipline was required for
managing branches.  The switch to GIT makes this redundant.  Besides,
I've no longer any idea where all the branches might be. ;-)
---
 BRANCHES | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 BRANCHES

diff --git a/BRANCHES b/BRANCHES
deleted file mode 100644
index 1cd9f21..0000000
--- a/BRANCHES
+++ /dev/null
@@ -1,8 +0,0 @@
-General conventions:
-
-For a branch FOO, we have:
-	FOO:root	point at which FOO leaves trunk or parent branch
-	FOO:merge-N	Nth branch merge point
-
-`ec' -- elliptic curve work
-	ec:merge-1	Closed.
-- 
2.11.0