diff options
| author | Gaëtan Gilbert | 2020-02-06 14:38:34 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-02-06 21:17:56 +0100 |
| commit | bae932cbd7ee0a5328a0913c09ae463b060f1f2f (patch) | |
| tree | 9e301afd5be89cd1007a67153c03f5b707c2d275 /plugins | |
| parent | a5681c57d82589c2f053d34a687fdd3ed6dc7059 (diff) | |
unsafe_type_of -> type_of in Eqdecide (2 occurrences)
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions