diff options
| author | sterni <sternenseemann@systemli.org> | 2022-05-19T08·48+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2022-05-19T09·23+0000 |
| commit | c85291c602ac666421627d6934ebc6d5be1b93e1 (patch) | |
| tree | 5dc4e83e82d49bdc030834d62079fa779489393c /third_party/nix/doc/manual/advanced-topics/distributed-builds.xml | |
| parent | df4a4c4a52033e2cecee5b92195bda02cbedc636 (diff) | |
chore(3p/cgit): strip debug symbols on the cgit cgi script r/4097
This saves 10MB which seems useful for a CGI binary that is started a lot. Change-Id: I9536955d3962647a3fce2821bbdc4c3826fb4a91 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5639 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'third_party/nix/doc/manual/advanced-topics/distributed-builds.xml')
0 files changed, 0 insertions, 0 deletions