diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2016-06-18 01:18:06 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2016-06-18 01:18:06 +0200 |
| commit | 7723579237706f08cc29b4b4b551c552ed5c0694 (patch) | |
| tree | 9b59751447573315e25a9806aa277eb88386bdd0 /tools/editor/icons/icon_logo_small.png | |
| parent | aebad5de5f629826ae4e63df7c48cab204999b4f (diff) | |
Fix type hint for the seed argument
Closes #5260.
Diffstat (limited to 'tools/editor/icons/icon_logo_small.png')
0 files changed, 0 insertions, 0 deletions