diff options
Diffstat (limited to 'sources/body.header.include')
| -rw-r--r-- | sources/body.header.include | 7 |
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> |