diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2018-12-06 20:20:32 +0100 |
|---|---|---|
| committer | Johannes Schindelin <johannes.schindelin@gmx.de> | 2018-12-06 20:21:17 +0100 |
| commit | 4db1874f88a0bfc1233cf9d881e33125c77a09ec (patch) | |
| tree | ba8541bf3d7d879f5c60a5297abc09f450221dcf /.github | |
| parent | 26cfceaa4ca25bfb46d6ec2a0d12b83b17269f21 (diff) | |
.gitattributes: make tabs in indentation a visible error
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions