| commit | 63c98ed2d21d22b46f3517fd7dfd88f0c1521299 | [log] [tgz] |
|---|---|---|
| author | Julien Palard <julien@palard.fr> | Mon Sep 09 12:54:56 2019 +0200 |
| committer | GitHub <noreply@github.com> | Mon Sep 09 12:54:56 2019 +0200 |
| tree | 5b9da87445109f46381664eeb1e2c1465c2d5402 | |
| parent | bba9207248e2a777086d8525739693e3e9595f15 [diff] |
Doc: Fix PDF build (NoUri). (GH-15739)