diff options
| author | Erich Eckner <git@eckner.net> | 2019-04-02 09:32:43 +0200 |
|---|---|---|
| committer | Jelle van der Waa <jelle@vdwaa.nl> | 2019-04-20 17:58:55 +0200 |
| commit | 321e998020cfdb337c1ebc1ac41f5e729b9e276c (patch) | |
| tree | 2864358cfb13bccc70b95a9ebf969739d8f68935 /doc | |
| parent | c86823a2d4a4152c71faa1c3bab227756232996f (diff) | |
| download | devtools32-321e998020cfdb337c1ebc1ac41f5e729b9e276c.tar.xz | |
fix whitespace/indentation errors
Some lines are indented by spaces, while adjacent lines are indentet by tabs.
We should use tabs on both.
Signed-off-by: Erich Eckner <git@eckner.net>
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions