Blame | Last modification | View Log | Download | RSS feed
#!/bin/csh
# Write usage information
if ( ${#argv} == 0) then
echo
/home/binderh/prog/programs/lagranto.mf/bin/lagrantohelp newtime short
echo
exit 0
endif
/home/binderh/prog/programs/lagranto.mf/goodies/newtime $*
exit 0