From: Ben Pfaff Date: Fri, 31 Oct 2008 00:23:06 +0000 (-0700) Subject: Ignore openflow-pki-server directory. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3e2e9b420bd1effb662d961a9e9014b5b3fdff4f;p=openvswitch Ignore openflow-pki-server directory. --- diff --git a/debian/.gitignore b/debian/.gitignore index 5d50a1d6..7768acfc 100644 --- a/debian/.gitignore +++ b/debian/.gitignore @@ -10,6 +10,7 @@ /openflow-controller /openflow-datapath-source /openflow-pki +/openflow-pki-server /openflow-switch /openflow-switch.copyright /openflow-switchmon