Skip to content

Delete patched elements, when deleted from srcd#316

Open
dpordomingo wants to merge 2 commits into
src-d:masterfrom
dpordomingo:watcher-ondelete
Open

Delete patched elements, when deleted from srcd#316
dpordomingo wants to merge 2 commits into
src-d:masterfrom
dpordomingo:watcher-ondelete

Commits

Commits on Nov 7, 2019