diff options
| author | sharkdp <davidpeter@web.de> | 2019-08-31 14:44:11 +0200 |
|---|---|---|
| committer | sharkdp <davidpeter@web.de> | 2019-08-31 14:44:11 +0200 |
| commit | ed345f28897ff3b2ec2bcc206550dcaa9c897862 (patch) | |
| tree | d2007da537d5f536aac247295e83e32d058636d1 /doc | |
| parent | d2492980c02ec9564a1a1491c94f06d6b4100972 (diff) | |
Fix headline
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions