fix

[helm.git] / helm / matita / scripts / shell_adder.php

#!/usr/bin/php4
<?php
 require($argv[1]);
 print(sum_time($argv[2], $argv[3])); 
?>