diff options
| author | Pavel Tvrdik <pawel.tvrdik@gmail.com> | 2016-09-05 11:20:28 +0200 |
|---|---|---|
| committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2016-10-12 12:48:29 +0200 |
| commit | 9df52a98e2eae28f219510d4c3d65ec43a50c394 (patch) | |
| tree | 19f1e5598cd8c4091876ca567d0f2079dcb96740 /tools | |
| parent | 9fcb9637b55d234dfedfcb54bd76ed5a9570b7a1 (diff) | |
Doc: Change debug to { flag1|flag2|flag3 [, ...] } style
Thanks to Micah Anderson for bug report and Ondrej Zajicek for the idea!
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions