diff options
author | David Robillard <d@drobilla.net> | 2019-04-20 12:54:09 +0200 |
---|---|---|
committer | David Robillard <d@drobilla.net> | 2019-04-20 13:05:05 +0200 |
commit | 683d47cb7fddf5447de76cdf80041b6b230de93c (patch) | |
tree | 14b0172cc2c65098cff2940c5fdf6ecbecfc0c3d /waflib/Tools/gnu_dirs.py | |
parent | a12cbf64bc5860121e005a5237e63584501c7cb2 (diff) | |
download | serd-683d47cb7fddf5447de76cdf80041b6b230de93c.tar.gz serd-683d47cb7fddf5447de76cdf80041b6b230de93c.tar.bz2 serd-683d47cb7fddf5447de76cdf80041b6b230de93c.zip |
Use fine-grained Docker images for CI
Diffstat (limited to 'waflib/Tools/gnu_dirs.py')
0 files changed, 0 insertions, 0 deletions