From efd5f75c0672773341b5ca1c1d4b2ad0c0d09daa Mon Sep 17 00:00:00 2001 From: Ohad Kammar Date: Sun, 7 Aug 2022 18:23:04 +0100 Subject: Initial version --- logo/README.md | 3 +++ logo/abstract-dragon.png | Bin 0 -> 169612 bytes logo/idris-512x512.png | Bin 0 -> 25396 bytes logo/setoid-logo.png | Bin 0 -> 214838 bytes logo/setoid-logo.xcf | Bin 0 -> 777223 bytes 5 files changed, 3 insertions(+) create mode 100644 logo/README.md create mode 100644 logo/abstract-dragon.png create mode 100644 logo/idris-512x512.png create mode 100644 logo/setoid-logo.png create mode 100644 logo/setoid-logo.xcf (limited to 'logo') diff --git a/logo/README.md b/logo/README.md new file mode 100644 index 0000000..cef2495 --- /dev/null +++ b/logo/README.md @@ -0,0 +1,3 @@ +Public domain image taken from: + http://www.publicdomainfiles.com/show_file.php?id=13925350213405 + by Merlin2525 diff --git a/logo/abstract-dragon.png b/logo/abstract-dragon.png new file mode 100644 index 0000000..62b7be0 Binary files /dev/null and b/logo/abstract-dragon.png differ diff --git a/logo/idris-512x512.png b/logo/idris-512x512.png new file mode 100644 index 0000000..24b2424 Binary files /dev/null and b/logo/idris-512x512.png differ diff --git a/logo/setoid-logo.png b/logo/setoid-logo.png new file mode 100644 index 0000000..5539cd7 Binary files /dev/null and b/logo/setoid-logo.png differ diff --git a/logo/setoid-logo.xcf b/logo/setoid-logo.xcf new file mode 100644 index 0000000..8debc8f Binary files /dev/null and b/logo/setoid-logo.xcf differ -- cgit v1.2.3