diff options
Diffstat (limited to 'scripts/ems/web/diff.php')
-rw-r--r-- | scripts/ems/web/diff.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/ems/web/diff.php b/scripts/ems/web/diff.php index f440d3240..c290e7c02 100644 --- a/scripts/ems/web/diff.php +++ b/scripts/ems/web/diff.php @@ -1,5 +1,10 @@ <?php +/* +This file is part of moses. Its use is licensed under the GNU Lesser General +Public License version 2.1 or, at your option, any later version. +*/ + function diff() { global $experiment; $display = $_GET["run"]; |