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/guide.md | |
| parent | 7d0713e8d2500e6f56116965b93b47d0ef552515 (diff) | |
smaller debuginfo in release
Diffstat (limited to 'docs/dev/guide.md')
0 files changed, 0 insertions, 0 deletions