diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-02-06 17:59:40 +0100 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-02-06 17:59:57 +0100 |
commit | 5ad320598f06370de65f83b6c6a993123f00b329 (patch) | |
tree | bf85f5d221dd419cf2074a4d53c82c1fd9835e17 /contrib/devtools/optimize-pngs.py | |
parent | f6cd41d93e121466a1b7481324c47c3973d1ede0 (diff) | |
parent | 8a6c62be636fb1bbdc4c5915c1d3bf969524b20a (diff) |
Merge #12363: Update README after filename change
8a6c62b [tests] Update README after filename change (Conor Scott)
Pull request description:
Update test README after filename changes from #11774
Tree-SHA512: 2dd2e4d12e9e8bef4e76996f610aea758d221f8da31e14163168a6a0c635d32fc547542112d43c37fa165c289572b12798caf467fd933082f8eb129f8e5d6ca8
Diffstat (limited to 'contrib/devtools/optimize-pngs.py')
0 files changed, 0 insertions, 0 deletions