#!/bin/sh
# @(#)refresh001 1.3 90/06/19

$TUTORIAL_HOME/jm $TUTORIAL_HOME/scripts/refresh001/script
