diff options
Diffstat (limited to 'manual')
| -rwxr-xr-x | manual/examples/search | bin | 24576 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/manual/examples/search b/manual/examples/search
deleted file mode 100755
index 4916a2c52f..0000000000
--- a/manual/examples/search
+++ /dev/null
Binary files differ |