Shell: small doc fix

This commit is contained in:
Andrea Rossato
2007-11-21 14:10:13 +00:00
parent c43dabf621
commit 816b866c32