diff options
| author | hoijui | 2019-10-21 08:26:42 +0200 |
|---|---|---|
| committer | hoijui | 2019-10-22 09:02:40 +0200 |
| commit | 20adab2f32a785c2dedcd42ee8e0750039fd9dd9 (patch) | |
| tree | da69ff558245083448a3f0f5bb3a84a57c702e30 /.gitignore | |
| parent | 145285abf60665e624272c965e25d765983c1775 (diff) | |
slight doc comment touch-up/simplification [minor]
Signed-off-by: hoijui <hoijui.quaero@gmail.com>
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions