diff options
Diffstat (limited to 'CIAO/docs/fm/CIAO-6.gif')
-rw-r--r-- | CIAO/docs/fm/CIAO-6.gif | bin | 3939 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/CIAO/docs/fm/CIAO-6.gif b/CIAO/docs/fm/CIAO-6.gif Binary files differdeleted file mode 100644 index e54e621f7ab..00000000000 --- a/CIAO/docs/fm/CIAO-6.gif +++ /dev/null |