Open neurolabs opened 13 years ago
the missing insertion of a space can only be fixed in jline2
Ctrl-D does work now