version 4.23, 2019/11/29 18:15:48 |
version 4.24, 2019/11/29 18:33:24 |
Line 177 $hr_ignwhite = 0; |
|
Line 177 $hr_ignwhite = 0; |
|
# |
# |
$hr_ignkeysubst = 1; |
$hr_ignkeysubst = 1; |
|
|
# The width of the textinput of the "request diff" form. |
|
# |
|
$inputTextSize = 12; |
|
|
|
# Custom per MIME type diff tools, used for comparing binary files such as |
# Custom per MIME type diff tools, used for comparing binary files such as |
# spreadsheets, images etc. Each key is a MIME type in lowercase. |
# spreadsheets, images etc. Each key is a MIME type in lowercase. |
# Each value is an array ref of available diff tools for that type, each of |
# Each value is an array ref of available diff tools for that type, each of |