diff options
| author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2023-01-12 14:00:43 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-12 14:00:43 +0100 |
| commit | eaa20f25747eb025c7c4e69fa83f0e455a65393f (patch) | |
| tree | 81095c7cbe9746754967aedad9376e1924f5d457 /.editorconfig | |
| parent | 6dd8b3b4122d9a4dccf17c00a290349a1509a7d6 (diff) | |
| parent | 48b2a3a0d03d524a0c1048e7a74acdead11a57b4 (diff) | |
Merge pull request #7590 from fricklerhandwerk/remove-unnecessary-cast
remove unncessary cast
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions