Did you know ... Search Documentation:
GIT commit info
Fixed description of command line editor: GNU Readline is not the only option.
authorJan Wielemaker
Fri Nov 13 09:08:59 2020 +0100
committerJan Wielemaker
Fri Nov 13 09:08:59 2020 +0100
commit420b4cc480586810b00b70f988ff70857493a60f
tree56aa80ee49f9290e6a42c3ade31d42003785ad1c
parent4f2609c7fed85cb372f03f6f82b1dd89a95d40d9
Diff style: stat patch
 gtrace.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)