aboutsummaryrefslogtreecommitdiff
path: root/src/nbc/clean.sh
blob: 58d95bf75c4b3a1b228d2bfde7026ca09dfca8d2 (plain)
1
2
#! /bin/sh -v
rm substitution.lex.sml substitution.grm.sig substitution.grm.sml score