Commit 6affdab8 authored by Michael van der Kamp's avatar Michael van der Kamp Committed by Andreas Klöckner
Browse files

Remove duplicated code for deleting a breakpoint

parent 801310d2