diff options
| author | Ohad Kammar <ohad.kammar@ed.ac.uk> | 2022-08-07 18:23:04 +0100 |
|---|---|---|
| committer | Ohad Kammar <ohad.kammar@ed.ac.uk> | 2022-08-07 18:23:04 +0100 |
| commit | efd5f75c0672773341b5ca1c1d4b2ad0c0d09daa (patch) | |
| tree | e22ef47d908efd30f985d47e6abfa53d6c6189b5 /logo | |
Initial version
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 |
