diff --git a/OPTIONS b/OPTIONS index 9d6f7fe030..e69de29bb2 100644 --- a/OPTIONS +++ b/OPTIONS @@ -1,7 +0,0 @@ - \ No newline at end of file