Subject: PC-Pine: set mark in pico

From: Hans Schleichert <[email-masked]>
Date: Tue, 6 Aug 1996 13:01:27 +0200

The Ctrl-^ command in pico doesn't work when you are using a German
keyboard. ESC ESC ^ doesn't work either, probably due to a bug in pico.
However, you can use Ctrl-6 to set and unset a mark.

    -  Hans Schleichert, Tuebingen University