X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2F.gitignore;h=63434cac2087f226731189dd3f4365682b2cb438;hb=d1e9b9bf30de1cdcac4d4da74d2a5c017f41519d;hp=7f43aa6ed9898b863838689770eaa7b537e8185c;hpb=82e959195414246dece1e4c636b40d06d65211a7;p=openvswitch

diff --git a/debian/.gitignore b/debian/.gitignore
index 7f43aa6e..63434cac 100644
--- a/debian/.gitignore
+++ b/debian/.gitignore
@@ -2,7 +2,6 @@
 *.debhelper.log
 *.substvars
 /control
-/corekeeper
 /copyright
 /files
 /nicira-switch
@@ -12,7 +11,9 @@
 /openvswitch-controller
 /openvswitch-datapath-source
 /openvswitch-dbg
+/openvswitch-ipsec
 /openvswitch-pki
-/openvswitch-pki-server
 /openvswitch-switch
 /openvswitch-switch.copyright
+/ovsdbmonitor
+/python-openvswitch