# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1587764929 -7200
# Node ID a417fbb9597dc4e11e8f7656947c64657e878950
# Parent  69dc22afa3cf24e0d2ca3e3174e6f074ae8b533c
Removed an obsolete example.

diff -r 69dc22afa3cf -r a417fbb9597d examples/directory.idl
--- a/examples/directory.idl	Fri Apr 24 23:12:17 2020 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,9 +0,0 @@
-#include <sys/types.h>      /* size_t */
-
-interface Directory
-{
-  /* Obtain a directory listing reference. */
-
-  [opcode(12)] void listdir(in int flags, in cap ds, in cap irq,
-                            out size_t size, out cap dir);
-};