diff --git a/localversion b/localversion deleted file mode 100644 index fc20771..0000000 --- a/localversion +++ /dev/null @@ -1 +0,0 @@ --devel-16.07.0