diff options
| author | Tony Crisci <tony@dubstepdish.com> | 2017-12-23 14:02:39 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-23 14:02:39 -0500 |
| commit | e8a35a84ba2118936e6a4b5dbcd7872d320216e4 (patch) | |
| tree | ee9b14fedffed2871b5317220bde365d69d98b01 /.editorconfig | |
| parent | 0a370c529806077a11638e7fa856d5fbb539496b (diff) | |
| parent | d4d860666cc2dd10a105fadd33aad2f682139a6e (diff) | |
Merge pull request #509 from emersion/primary-selection
Add gtk-primary-selection protocol
Diffstat (limited to '.editorconfig')
| -rw-r--r-- | .editorconfig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig index 64f18915..b6b6a367 100644 --- a/.editorconfig +++ b/.editorconfig @@ -11,3 +11,4 @@ trim_trailing_whitespace = true [*.xml] indent_style = space indent_size = 2 +tab_width = 8 |