diff options
| author | coqbot-app[bot] | 2020-10-12 16:35:23 +0000 |
|---|---|---|
| committer | GitHub | 2020-10-12 16:35:23 +0000 |
| commit | 07a199ffa640b9eb94235ebc3732c4b2981ca525 (patch) | |
| tree | ad166ce5fb96f3c2e02e5998312ebac779bb4ab9 /dev | |
| parent | 2ff70d8341177d384043dd3d02da6968a8788e32 (diff) | |
| parent | 32e26090369e47e3e83e4313b3eefb321bc3311e (diff) | |
Merge PR #13156: Store the resolver of required modules as functor parameters in safe_env
Reviewed-by: herbelin
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions