diff options
author | Aleksey Kladov <[email protected]> | 2019-07-22 16:25:56 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2019-07-22 16:30:39 +0100 |
commit | 40c10932cda0348b626d2809d1d32908e077ffd1 (patch) | |
tree | ffbef400e1ebdf077e95d904c1c6e9c24e3270ae /docs/dev | |
parent | 7d0713e8d2500e6f56116965b93b47d0ef552515 (diff) |
smaller debuginfo in release
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions