diff options
| author | Vincent Ambo <mail@tazj.in> | 2021-12-17T22·52+0300 |
|---|---|---|
| committer | tazjin <mail@tazj.in> | 2021-12-18T15·03+0000 |
| commit | 8fb90b9e5eb58bc8e1820f4c8c8fd65bcc0031dd (patch) | |
| tree | 92fc05cd2a53551096ada4e1ddcf5ec8171a5342 /third_party/rapidcheck | |
| parent | 46a4e25550456790999c3afe4a578dedb8fe5024 (diff) | |
feat(tools/magrathea): let users override the repository root r/3292
for global installations of magrathea, setting MG_ROOT can be a way to switch quickly between different repositories (esp. in combination with `cd (mg path)`). Change-Id: I4627fe78b7cc112b75ab57e7806ffd85c6d38aee Reviewed-on: https://cl.tvl.fyi/c/depot/+/4396 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
Diffstat (limited to 'third_party/rapidcheck')
0 files changed, 0 insertions, 0 deletions