X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fopenvswitch-pki-server.postinst;h=79d73a4866d48161de886835021fd1be09a4fe24;hb=10a24935c9d382e4d85b05d9616843f3d3bb4983;hp=d161a98a94cf3cea119e552f2a008688c4a1f6eb;hpb=064af42167bf4fc9aaea2702d80ce08074b889c0;p=openvswitch

diff --git a/debian/openvswitch-pki-server.postinst b/debian/openvswitch-pki-server.postinst
index d161a98a..79d73a48 100755
--- a/debian/openvswitch-pki-server.postinst
+++ b/debian/openvswitch-pki-server.postinst
@@ -1,5 +1,5 @@
 #!/bin/sh
-# postinst script for openflow
+# postinst script for openflow-pki-server
 #
 # see: dh_installdeb(1)