diff options
| author | coqbot-app[bot] | 2020-08-25 12:28:51 +0000 |
|---|---|---|
| committer | GitHub | 2020-08-25 12:28:51 +0000 |
| commit | ae712c6460cc400eda3188d59baf5d69b93ad70a (patch) | |
| tree | 1f787916282ebe82ee0f3748f80dd841e4533094 /kernel/nativelambda.mli | |
| parent | fe56ac4d5fd18794f65d03fe1110b00283b163b3 (diff) | |
| parent | e9956d781d8d71de9afd6f5c8abf9243a7af776d (diff) | |
Merge PR #12728: Fix slow Print Universes Subgraph when many ambient universes.
Reviewed-by: ejgallego
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions