On 2004-07-29 08:37:25 +0100, Chris Green wrote: > Maybe pico, it's the editor that goes with pine I think. I'm quite happy using jed. -- Thomas Roessler · Personal soap box at <http://log.does-not-exist.org/>.