Wed, 28 Oct 2015 17:16:07 +0200 | Oleksandr Gavenko | Use meta-option and remove individual properties. | file | diff | annotate |
Wed, 28 Oct 2015 17:13:27 +0200 | Oleksandr Gavenko | Swap order to group related options together. | file | diff | annotate |
Sun, 22 Feb 2015 23:32:48 +0200 | Oleksandr Gavenko | merge.conflictstyle diff3 | file | diff | annotate |