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 /Makefile | |
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 'Makefile')
0 files changed, 0 insertions, 0 deletions