diff options
Diffstat (limited to 'manual/examples')
| -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 Binary files differdeleted file mode 100755 index 4916a2c52f..0000000000 --- a/manual/examples/search +++ /dev/null |