Tue, 16 Apr 2019 19:42:56 +0200 | wenzelm | clarified goto_file (again): treat bad entry as plain file to open empty buffer instead of error (amending a8142ac5e4b6); | changeset | files |
Sun, 14 Apr 2019 18:13:46 +0200 | wenzelm | afford more examples; | changeset | files |
Sun, 14 Apr 2019 17:37:05 +0200 | wenzelm | obsolete -- this is quite fast; | changeset | files |