Add some missing null checks for inst->ldisc, which were causing

[sgt/putty] / doc / vids.but

diff --git a/doc/vids.but b/doc/vids.but
index 93d2416..3219d4d 100644 (file)
--- a/doc/vids.but
+++ b/doc/vids.but
@@ -28,3 +28,9 @@
 \versionidfeedback
 
 \versionidlicence
+
+\versionidudp
+
+\versionidpgpkeys
+
+\versionidindex