Collection of mostly command line tools / PHP scripts. Somewhat out of date.

⌈⌋ ⎇ branch:  scripts + snippets


Help: preferred-diff-type

The "preferred-diff-type" setting:

The preferred-diff-type setting determines the preferred diff format for web pages if the format is not otherwise specified, for example by a query parameter or cookie. Allowed values:

1
Unified diff
2
Side-by-side diff

If this setting is omitted or has a value of 0 or less, then it is ignored.