diff options
| author | Vincent Laporte | 2019-10-11 12:45:53 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-10-16 09:25:24 +0000 |
| commit | e500c71e46e6ff252455b9698addedb101662994 (patch) | |
| tree | af48fa2d87132bdae316e76f07ff8a3c11d4d6bb /kernel | |
| parent | 5d82451d6d6f591ad81919d8e6529cee48474b9e (diff) | |
[engine] Remove UnivGen.global_of_constr
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions