#!/bin/sh
string=? ; PLTHOME=/usr/ export PLTHOME ; exec $PLTHOME/bin/racket -r $0 "$@"

(require "logon.rkt")
