From e16f0a65fac9d87fa89cc7c70bec507542f6cafd Mon Sep 17 00:00:00 2001
From: Mike Aizatsky <mike.aizatsky@gmail.com>
Date: Fri, 28 Oct 2016 15:29:04 -0700
Subject: [PATCH] Rename http.options to curl_fuzzer.options

---
 targets/curl/{http.options => curl_fuzzer.options} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename targets/curl/{http.options => curl_fuzzer.options} (100%)

diff --git a/targets/curl/http.options b/targets/curl/curl_fuzzer.options
similarity index 100%
rename from targets/curl/http.options
rename to targets/curl/curl_fuzzer.options