diff options
Diffstat (limited to 'logo')
| -rw-r--r-- | logo/README.md | 3 | ||||
| -rw-r--r-- | logo/abstract-dragon.png | bin | 0 -> 169612 bytes | |||
| -rw-r--r-- | logo/idris-512x512.png | bin | 0 -> 25396 bytes | |||
| -rw-r--r-- | logo/setoid-logo.png | bin | 0 -> 214838 bytes | |||
| -rw-r--r-- | logo/setoid-logo.xcf | bin | 0 -> 777223 bytes |
5 files changed, 3 insertions, 0 deletions
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 Binary files differnew file mode 100644 index 0000000..62b7be0 --- /dev/null +++ b/logo/abstract-dragon.png diff --git a/logo/idris-512x512.png b/logo/idris-512x512.png Binary files differnew file mode 100644 index 0000000..24b2424 --- /dev/null +++ b/logo/idris-512x512.png diff --git a/logo/setoid-logo.png b/logo/setoid-logo.png Binary files differnew file mode 100644 index 0000000..5539cd7 --- /dev/null +++ b/logo/setoid-logo.png diff --git a/logo/setoid-logo.xcf b/logo/setoid-logo.xcf Binary files differnew file mode 100644 index 0000000..8debc8f --- /dev/null +++ b/logo/setoid-logo.xcf |
