| commit | 9fd768419e4df15c1f110d7e20911f40c648abb1 | |
| author | Paweł Spychalski <pspychalski@gmail.com> | |
| Fri, 1 Jul 2022 08:06:58 +0000 (1 10:06 +0200) | ||
| committer | GitHub <noreply@github.com> | |
| Fri, 1 Jul 2022 08:06:58 +0000 (1 10:06 +0200) | ||
| tree | 881f12b9ccb658eae9d62850c6f6497cceb581bb | treesnapshot (tar.gz zip) |
| parent | 06ced6430365d58e5a317899b3f2102eeeb7f5c8 | commitdiff |
| parent | 1ce2d3e2f5d2f6303d7f597f000ec7df843506aa | commitdiff |
Merge pull request #8181 from JulioCesarMatias/RemoveDefinition
Remove an unused definition
Remove an unused definition