diff options
author | Peter Baumann <p.baumann@jacobs-university.de> | 2010-07-30 13:18:22 +0200 |
---|---|---|
committer | www-data <www-data@ubuntu.localdomain> | 2010-10-31 12:59:33 +0100 |
commit | f5cb0cadcf3630430d7cb53564866913d8355e8e (patch) | |
tree | 057b81d764400c0f99aa020444200f0c940492e9 /manuals_and_examples/manuals | |
parent | 3535a1be00d82fb757faabe5bc34518b0df7032b (diff) | |
download | rasdaman-upstream-f5cb0cadcf3630430d7cb53564866913d8355e8e.tar.gz rasdaman-upstream-f5cb0cadcf3630430d7cb53564866913d8355e8e.tar.xz rasdaman-upstream-f5cb0cadcf3630430d7cb53564866913d8355e8e.zip |
PB: another step of doc cleanup
Diffstat (limited to 'manuals_and_examples/manuals')
-rw-r--r-- | manuals_and_examples/manuals/logo.gif | bin | 11338 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/manuals_and_examples/manuals/logo.gif b/manuals_and_examples/manuals/logo.gif Binary files differdeleted file mode 100644 index d92bbc6..0000000 --- a/manuals_and_examples/manuals/logo.gif +++ /dev/null |