diff options
| author | Tapani Pälli <[email protected]> | 2019-11-15 07:12:24 +0200 |
|---|---|---|
| committer | Tapani Pälli <[email protected]> | 2019-11-15 12:06:15 +0200 |
| commit | 7a893a0d5734adefd6e7e88efb07e60d01c44cdf (patch) | |
| tree | cecdaa03c91d8a20ee04a24f2d68e3097d097f18 /docs/extensions.html | |
| parent | 1d970f15e2fb5320ec10b7214ba0e7d42a8017e8 (diff) | |
gitlab-ci: update Piglit commit, update skips
Signed-off-by: Tapani Pälli <[email protected]>
Reviewed-by: Michel Dänzer <[email protected]>
Diffstat (limited to 'docs/extensions.html')
0 files changed, 0 insertions, 0 deletions