From 81bf3b51b890a6805fad19f3b8ed3a72d72c4985 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Sun, 28 Jul 2019 20:15:01 +0200
Subject: [PATCH] rename dummy

---
 p4src/{netpfga.p4 => netpfga_dummy.p4} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename p4src/{netpfga.p4 => netpfga_dummy.p4} (100%)

diff --git a/p4src/netpfga.p4 b/p4src/netpfga_dummy.p4
similarity index 100%
rename from p4src/netpfga.p4
rename to p4src/netpfga_dummy.p4