diff options
Diffstat (limited to 'build/world.byte.sh')
| -rwxr-xr-x | build/world.byte.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/build/world.byte.sh b/build/world.byte.sh index d3e96dc4b..a30cda2ff 100755 --- a/build/world.byte.sh +++ b/build/world.byte.sh @@ -1,4 +1,17 @@ #!/bin/sh + +######################################################################### +# # +# OCaml # +# # +# Nicolas Pouillard, projet Gallium, INRIA Rocquencourt # +# # +# Copyright 2007 Institut National de Recherche en Informatique et # +# en Automatique. All rights reserved. This file is distributed # +# under the terms of the Q Public License version 1.0. # +# # +######################################################################### + # $Id$ set -e cd `dirname $0`/.. |