[Xapian-devel] Eleven, twelve; dig and delve (name conflict)

[Will Crawford]

On 21/04/14 23:14, Chuck Aurora wrote:
...
> I'm sure the packagers can come up with alternatives. Likewise, we
> are willing to entertain alternate naming suggestions for our delve
> tool. (Extra credit for nursery rhyme references. Double extra
> credit where the name is also an acronym. Triple if "dig" is also
> mentioned.)

Delve => Shovel (or Pick).
Reference "Who Killed Cock Robin?", ...