This repository has been archived by the owner on Nov 6, 2022. It is now read-only.

Remove a match #5

Open

Khodl opened this issue Jul 4, 2014 · 0 comments

Labels

Contributor

Khodl commented Jul 4, 2014

When there is a mistake, the match could be removed

Khodl added duplicate and removed duplicate labels

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.