Add swh-search to .mrconfig
Description
Description
Details
Details
- Provenance
vlorentz Authored on Oct 11 2019, 4:19 PM vlorentz Pushed on Oct 18 2019, 11:20 AM - Differential Revision
- D2129: Add swh-search to .mrconfig
- Parents
- rDENV1864119c727a: Makefile.python: drop spurious -p argument to mypy invocation
- Branches
- Unknown
- Tags