From d14829c8b7d9606adb7ce498728b11acc68406b1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Zbigniew=20J=C4=99drzejewski-Szmek?= <zbyszek@in.waw.pl>
Date: Sun, 11 Mar 2018 12:44:05 +0100
Subject: [PATCH] fuzz-dhcp-server: fix name of options file

---
 src/fuzz/{fuzz-dns-server.options => fuzz-dhcp-server.options} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename src/fuzz/{fuzz-dns-server.options => fuzz-dhcp-server.options} (100%)

diff --git a/src/fuzz/fuzz-dns-server.options b/src/fuzz/fuzz-dhcp-server.options
similarity index 100%
rename from src/fuzz/fuzz-dns-server.options
rename to src/fuzz/fuzz-dhcp-server.options