diff options
| author | gumi <git@gumi.ca> | 2018-01-21 18:11:02 -0500 |
|---|---|---|
| committer | gumi <git@gumi.ca> | 2018-01-21 18:11:02 -0500 |
| commit | 39ad32ff2226884613cd84babe2370f5c7cac71c (patch) | |
| tree | a7eb63b6790cd57bf3dac46c28259ee601cf1cf2 /web | |
| parent | d3f495b75dbe1fb0d4c4fac54b3e0e8214940086 (diff) | |
| download | tools-39ad32ff2226884613cd84babe2370f5c7cac71c.tar.gz tools-39ad32ff2226884613cd84babe2370f5c7cac71c.tar.bz2 tools-39ad32ff2226884613cd84babe2370f5c7cac71c.tar.xz tools-39ad32ff2226884613cd84babe2370f5c7cac71c.zip | |
optimize make-updates for CI
Diffstat (limited to 'web')
0 files changed, 0 insertions, 0 deletions