| Sat, 15 Mar 2014 11:22:25 +0100 | wenzelm | more explicit treatment of verbose mode, which includes concealed entries; | changeset | files |
| Sat, 15 Mar 2014 10:29:42 +0100 | wenzelm | removed dead code; | changeset | files |
| Sat, 15 Mar 2014 10:24:49 +0100 | wenzelm | clarified retrieve_generic: local error takes precedence, which is relevant for completion; | changeset | files |