diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-02-15 20:37:06 +0100 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-02-19 13:13:16 +0100 |
| commit | fe70817653db4f53c3069fb733b73f06ddedfbcf (patch) | |
| tree | 72a51bccf4d18cef65285879125307fa3508cf8c /redirect.html | |
| parent | 16821c8315fc5e0f9bfbc6ddd7ca79cc2b1d5d40 (diff) | |
ci: report the size of built examples
Diffstat (limited to 'redirect.html')
0 files changed, 0 insertions, 0 deletions