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

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