.editorconfig
author Kim Alvefur <zash@zash.se>
Sat, 18 Dec 2021 15:45:06 +0100
changeset 12078 b892f5489d79
parent 11710 56feb0cf7052
child 13195 1266efb7101c
permissions -rw-r--r--
mod_smacks: Check if session was really sleeping before logging message It could have been resumed without going into hibernation first, i.e. when the client notices the disconnect before the server, or if it switches networks etc.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
11710
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
     1
root = true
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
     2
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
     3
[*]
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
     4
end_of_line = lf
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
     5
indent_style = tab
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
     6
insert_final_newline = true
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
     7
trim_trailing_whitespace = true
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
     8
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
     9
[CHANGES]
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
    10
indent_size = 4
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
    11
indent_style = space
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
    12
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
    13
[configure]
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
    14
indent_size = 3
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
    15
indent_style = space
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
    16
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
    17
[**.xml]
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
    18
indent_size = 2
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
    19
indent_style = space