diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-10-22 13:32:40 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-22 13:32:40 +0200 |
| commit | baec2445e1dc1604518ab607d0135f52ead9cb8c (patch) | |
| tree | 9686b9f7a276f4fe31d7eb0e99bbfe3c83b66dcc /doc | |
| parent | 003ee8b7c24a4ef4d10efc7f22cc7c4541ab7730 (diff) | |
| parent | e18a9a2224c1518308839d8e64a45fff0232903f (diff) | |
Merge pull request #42997 from akien-mga/ci-release-no-debug-symbols
CI: Set debug_symbols=no for template builds
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions