diff --git a/DEVEL-Branch.md b/DEVEL-Branch.md
deleted file mode 100644
index b451804..0000000
--- a/DEVEL-Branch.md
+++ /dev/null
@@ -1,2 +0,0 @@
-DEVEL Branch
-Giulio Montanaro
\ No newline at end of file