diff options
Diffstat (limited to 'doc/img')
-rw-r--r-- | doc/img/Makefile.am | 3 | ||||
-rw-r--r-- | doc/img/bsd.gif | bin | 4226 -> 0 bytes | |||
-rw-r--r-- | doc/img/bsd.png | bin | 0 -> 4162 bytes | |||
-rw-r--r-- | doc/img/lambda.gif | bin | 169 -> 0 bytes | |||
-rw-r--r-- | doc/img/lambda.png | bin | 0 -> 222 bytes | |||
-rw-r--r-- | doc/img/linux.gif | bin | 1972 -> 0 bytes | |||
-rw-r--r-- | doc/img/linux.png | bin | 0 -> 1928 bytes |
7 files changed, 3 insertions, 0 deletions
diff --git a/doc/img/Makefile.am b/doc/img/Makefile.am new file mode 100644 index 0000000..0be3236 --- /dev/null +++ b/doc/img/Makefile.am @@ -0,0 +1,3 @@ +EXTRA_DIST = bsd.png lambda.png linux.png + +## arch-tag: 0008e69a-4745-46d8-9da4-2173db33965d diff --git a/doc/img/bsd.gif b/doc/img/bsd.gif deleted file mode 100644 index e406ba6..0000000 --- a/doc/img/bsd.gif +++ /dev/null Binary files differdiff --git a/doc/img/bsd.png b/doc/img/bsd.png new file mode 100644 index 0000000..eb2e4e2 --- /dev/null +++ b/doc/img/bsd.png Binary files differdiff --git a/doc/img/lambda.gif b/doc/img/lambda.gif deleted file mode 100644 index 9c46b7d..0000000 --- a/doc/img/lambda.gif +++ /dev/null Binary files differdiff --git a/doc/img/lambda.png b/doc/img/lambda.png new file mode 100644 index 0000000..5673291 --- /dev/null +++ b/doc/img/lambda.png Binary files differdiff --git a/doc/img/linux.gif b/doc/img/linux.gif deleted file mode 100644 index fa764bd..0000000 --- a/doc/img/linux.gif +++ /dev/null Binary files differdiff --git a/doc/img/linux.png b/doc/img/linux.png new file mode 100644 index 0000000..fd121fb --- /dev/null +++ b/doc/img/linux.png Binary files differ |