diff options
| author | jvoisin | 2018-07-18 23:15:47 +0200 |
|---|---|---|
| committer | jvoisin | 2018-07-18 23:15:47 +0200 |
| commit | 0cd510938a867661e243a60e61f2aba7998b50d8 (patch) | |
| tree | c15b64a5527307a745fe01ba069f7b9194c64ece /doc/implementation_notes.md | |
| parent | dc026f99add121df80bee1fcf7519d830d9c717f (diff) | |
Minor code simplification
Diffstat (limited to 'doc/implementation_notes.md')
0 files changed, 0 insertions, 0 deletions