aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorbors[bot] <bors[bot]@users.noreply.github.com>2019-03-23 12:09:07 +0000
committerbors[bot] <bors[bot]@users.noreply.github.com>2019-03-23 12:09:07 +0000
commit331220fee2c8c6d9f6e87c371ab101baace205dc (patch)
tree08df153ad087aedd74ef2878698ec70775404161 /.gitignore
parentd99abe4c252447c9940f77568a96c9a96f6f8905 (diff)
parent497934a7b44a9857be3698354711ad1b0da4b8c9 (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