| .. |
|
files
|
eb10ac0e97
use pkill for startup scripts
|
há 17 anos atrás |
|
patches
|
219a6dab89
Initial import
|
há 17 anos atrás |
|
Config.in
|
d2b13826a9
drop all leading whitespaces in symbol prompts
|
há 17 anos atrás |
|
Makefile
|
b44b3799ca
remove unused $Id$
|
há 17 anos atrás |
Waldemar Brodkorb