From 40f40073d3f65a5ce56bcaced4e017f942e7d5a3 Mon Sep 17 00:00:00 2001 From: Tinderbox User Date: Tue, 25 Apr 2017 23:45:59 +0000 Subject: [PATCH] update copyright notice / whitespace --- OPTIONS | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/OPTIONS b/OPTIONS index e69de29bb2..9d6f7fe030 100644 --- a/OPTIONS +++ b/OPTIONS @@ -0,0 +1,7 @@ + \ No newline at end of file