diff options
Diffstat (limited to 'documentation/ref-manual/ref-manual.pdf')
-rw-r--r-- | documentation/ref-manual/ref-manual.pdf | bin | 801466 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/documentation/ref-manual/ref-manual.pdf b/documentation/ref-manual/ref-manual.pdf deleted file mode 100644 index 4dd9f7a25f..0000000000 --- a/documentation/ref-manual/ref-manual.pdf +++ /dev/null | |||
Binary files differ | |||