X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2F.gitignore;h=63434cac2087f226731189dd3f4365682b2cb438;hb=8628b0b71d1cf5b3bd7425e50f0aa1435aa38804;hp=746fc1223dc32b6b8669d3f41373547852ff965a;hpb=14c3b13622af672ca0868dcab4e0e4c591dd70fb;p=openvswitch

diff --git a/debian/.gitignore b/debian/.gitignore
index 746fc122..63434cac 100644
--- a/debian/.gitignore
+++ b/debian/.gitignore
@@ -13,6 +13,7 @@
 /openvswitch-dbg
 /openvswitch-ipsec
 /openvswitch-pki
-/openvswitch-pki-server
 /openvswitch-switch
 /openvswitch-switch.copyright
+/ovsdbmonitor
+/python-openvswitch