#! /bin/bash
# Last edited on 2023-09-05 20:32:30 by stolfi
PYTHONPATH=${STOLFIHOME}/lib/prescript-2.2
$PYTHONPATH/prescript "$@"