Mon, 23 Jul 2018 22:51:53 -0700 | Martin von Zweigbergk | mergetool: warn if ui.merge points to nonexistent tool | changeset | files |
Mon, 23 Jul 2018 22:51:50 -0700 | Martin von Zweigbergk | tests: demonstrate that no requested merge tool is ignored if missing | changeset | files |