]> git.tuebingen.mpg.de Git - paraslash.git/search
[gui]: Use the new -p option for the default stat command.