diff --git a/OPTIONS b/OPTIONS deleted file mode 100644 index 407aea9..0000000 --- a/OPTIONS +++ /dev/null @@ -1,4 +0,0 @@ - - -Options are in the README file now. (since August 2017) -