diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-03-23 12:09:07 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-03-23 12:09:07 +0000 |
| commit | 331220fee2c8c6d9f6e87c371ab101baace205dc (patch) | |
| tree | 08df153ad087aedd74ef2878698ec70775404161 /.gitignore | |
| parent | d99abe4c252447c9940f77568a96c9a96f6f8905 (diff) | |
| parent | 497934a7b44a9857be3698354711ad1b0da4b8c9 (diff) | |
Merge #1025
1025: Disable fork feature for proptest r=matklad a=detrumi
Co-authored-by: Wilco Kusee <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions