Use the fossil settings to determine whether gdiff or diff should be used for diffing files

FossilOrigin-Name: b3dc68271fb2d6fbbe80060d3ec3d206f5f0097f
2015-08-14 11:09:22 +00:00
parent 0dcea2a332
commit adaee79179
3 changed files with 10 additions and 9 deletions
--- a/manifest.uuid
+++ b/manifest.uuid
@@ -1 +1 @@
-49797e154e77b27ff722edee9654e1b7d42a04cd
+b3dc68271fb2d6fbbe80060d3ec3d206f5f0097f