Gitlet
/
testing
/
samples
/
test41-no-command-err.in
test41-no-command-err.in
Raw
# Test for wrong command name. I prelude1.inc > glorp foo No command with that name exists. <<<