X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2F.gitignore;h=3ebb73b5f4549b3d86a09b2d7e9695006f2a4919;hb=76ed83fc3f82f6d3074c4f87a38dd9ef164b6dc0;hp=24e62d94b966f1dd6025c79d75da7094b82783d5;hpb=a3acf0b0c46a28d6c891086e054d81dd915eea2e;p=openvswitch

diff --git a/debian/.gitignore b/debian/.gitignore
index 24e62d94..3ebb73b5 100644
--- a/debian/.gitignore
+++ b/debian/.gitignore
@@ -2,7 +2,6 @@
 *.debhelper.log
 *.substvars
 /control
-/corekeeper
 /copyright
 /files
 /nicira-switch
@@ -14,6 +13,6 @@
 /openvswitch-dbg
 /openvswitch-ipsec
 /openvswitch-pki
-/openvswitch-pki-server
 /openvswitch-switch
 /openvswitch-switch.copyright
+/python-openvswitch