Waldemar Brodkorb eb10ac0e97 use pkill for startup scripts 15 years ago
..
files eb10ac0e97 use pkill for startup scripts 15 years ago
patches 219a6dab89 Initial import 15 years ago
Config.in d2b13826a9 drop all leading whitespaces in symbol prompts 15 years ago
Makefile b44b3799ca remove unused $Id$ 15 years ago