diff options
| author | Gaëtan Gilbert | 2020-02-06 16:01:02 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-02-06 21:17:56 +0100 |
| commit | 6f72abed5c2342491830590c66f00f0a68be81d9 (patch) | |
| tree | 0654cfe871c64c8117a5a885bd91266dc7679d8f /dev/bugzilla2github_stripped.csv | |
| parent | 5251ffebaa19fa22866ccd537b8d7cfe6aaadf5c (diff) | |
unsafe_type_of -> type_of in Tactics.symmetry_in
I'm a bit dubious about the tclENV in match_with_equation but let's
leave it for now.
Diffstat (limited to 'dev/bugzilla2github_stripped.csv')
0 files changed, 0 insertions, 0 deletions