Added SVG logos

idris-lang · Jun 22, 2015 · 0b68452 · 0b68452
1 parent d5c9d23
commit 0b68452
Show file tree

Hide file tree

Showing 3 changed files with 231 additions and 0 deletions.
diff --git a/CONTRIBUTORS b/CONTRIBUTORS
@@ -15,6 +15,7 @@ Jason Dagit
 Simon Fowler
 Google
 Cezar Ionescu
+Heath Johns
 Irene Knapp
 Paul Koerbitz
 Niklas Larsson

diff --git a/logos/logo-text.svg b/logos/logo-text.svg
diff --git a/logos/logo.svg b/logos/logo.svg