From: Ben Pfaff <blp@nicira.com>
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