| Fri, 31 Aug 2018 12:45:56 +0200 | Pierre-Yves David | pick: use "pick" instead of "grab" for various internal API | changeset | files |
| Fri, 31 Aug 2018 09:13:11 +0200 | Pierre-Yves David | pick: update command output to mention pick instead of grab | changeset | files |
| Fri, 31 Aug 2018 09:11:04 +0200 | Pierre-Yves David | pick: rename the grab command to pick | changeset | files |
| Fri, 31 Aug 2018 09:08:13 +0200 | Pierre-Yves David | grab: prefix function with 'cmd' as for the other command in the extension | changeset | files |