diff options
author | Erich Eckner <git@eckner.net> | 2018-06-27 10:44:15 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-04-02 11:16:20 +0200 |
commit | 9e3b3a3b919868ea6a07cc6d8f7ca7f3ab0f9d81 (patch) | |
tree | 9c956b2b6b29bbfa5a6fe0e6ebe3a7cbc92b2d61 /.gitignore | |
parent | 471cf8d5e68110f55f1a0f999284f30dff22efe5 (diff) | |
download | devtools32-9e3b3a3b919868ea6a07cc6d8f7ca7f3ab0f9d81.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.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions