comparison COPYING @ 4050:3dddb03f3559

pick: use "pick" instead of "grab" for various internal API This should not much user visible impact but this is cleaner.
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Fri, 31 Aug 2018 12:45:56 +0200
parents 143c8e4dc22d
children
comparison
equal deleted inserted replaced
4049:25981fae92f9 4050:3dddb03f3559