This repository has been archived by the owner on Feb 18, 2024. It is now read-only.

grep options #41

Open

sgohl opened this issue Jun 3, 2017 · 0 comments

sgohl commented Jun 3, 2017 •

edited

Loading

Is it possible to use grep options like "-v" via the toolbar/search?

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