[PATCH 2/3] Removed the delete option by right clicking on "Dive Info"

Lubomir I. Ivanov neolit123 at gmail.com
Thu Oct 25 11:14:42 PDT 2012

On 24 October 2012 20:36, Dirk Hohndel <dirk at hohndel.org> wrote:
> Since these are clean patches that fix a real issue I pushed them on
> master, but I really want to hear from more people.

hmms, i can't see these on master.
they might have been lost somehow in the interpipes during push.


More information about the subsurface mailing list