diff options
| author | Daiki Ueno <dueno@redhat.com> | 2018-11-22 17:14:35 +0100 |
|---|---|---|
| committer | Daiki Ueno <ueno@gnu.org> | 2018-11-22 18:17:17 +0100 |
| commit | d293fd54c754190da333496df070992e2d803a87 (patch) | |
| tree | 51968bcebe667fabc487b21a80c511002a044e9f /NEWS | |
| parent | f0c82b07f8b31a4b86de32436cb4f5053de16336 (diff) | |
travis: Allow profile override
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions