summaryrefslogtreecommitdiffstats
path: root/sources/body.header.include
diff options
context:
space:
mode:
authorFabrice Le Fessant <fabrice@ocamlpro.com>2012-02-09 16:15:49 +0100
committerFabrice Le Fessant <fabrice@ocamlpro.com>2012-02-09 16:15:49 +0100
commit145bbab3cce930ef952681a83340d6bcf6a2368c (patch)
treef5ceca266183d86eca8de0364e4baf216626cefa /sources/body.header.include
parentb07d2b1886199b338d7c8ce79a29dbeaf2d85ec4 (diff)
Added some INRIA logos
Diffstat (limited to 'sources/body.header.include')
-rw-r--r--sources/body.header.include7
1 files changed, 5 insertions, 2 deletions
diff --git a/sources/body.header.include b/sources/body.header.include
index 5de8601..e80a37e 100644
--- a/sources/body.header.include
+++ b/sources/body.header.include
@@ -57,8 +57,11 @@
</a>
<br/>
-
-<a href="http://caml.inria.fr/ocaml/" title="OCaml at Inria">OCaml at Inria</a><br/>
+<a href="http://caml.inria.fr/ocaml/" title="OCaml at Inria">
+<img src="images/inria_logo_new.png" width="50">
+<img src="images/inria_logo_old.png" width="50">
+OCaml at Inria
+</a><br/>
</div>