diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-10-15 19:50:49 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-10-15 19:50:49 +0200 |
| commit | 69e958b48d3e54567efac6687fa1333f9ba96f98 (patch) | |
| tree | c6959463a9681463572873d992d3694e912ef0fb /scene/resources/default_theme/line_edit_disabled.png | |
| parent | ea21b8ff83b2c7254a3c6552aedad0c9df7fc48f (diff) | |
CI: List contents of bin/ after build
This can be used to compare impacts on the generated files
and especially their size in PRs.
Diffstat (limited to 'scene/resources/default_theme/line_edit_disabled.png')
0 files changed, 0 insertions, 0 deletions