From d14829c8b7d9606adb7ce498728b11acc68406b1 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Zbigniew=20J=C4=99drzejewski-Szmek?= 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 -- 2.7.4