diff --git a/revision_number b/revision_number deleted file mode 100644 index 58c29d4b..00000000 --- a/revision_number +++ /dev/null @@ -1 +0,0 @@ -unstable10