mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-09-20 15:37:46 +03:00
Statically link the silver searcher binary against PCRE so it isn't required
This commit is contained in:
parent
4f401b2ada
commit
7f5c588723