Merge branch 'master' of ssh://dirk@server/scm/spider
[spider.git] / cmd / set / prompt.pl
2001-12-17 minimaAdded set/prompt (and unset/prompt) command so that...