2015-10-22 11:30:09
— part of check-in
[af7de966ff]
on branch exec-rel-paths
— Merge trunk. Almost forgot about this one. Please review.
(user:
jan.nijtmans
size: 41669)
2015-10-22 11:30:09
— part of check-in
[af7de966ff]
on branch exec-rel-paths
— Merge trunk. Almost forgot about this one. Please review.
(user:
jan.nijtmans
size: 41669)
2015-10-27 01:21:09
— part of check-in
[825d78b6f7]
on branch trunk
— Add the 'exec-rel-paths' setting and its machinery to permit relative paths to be used when calling external diffing tools.
(user:
mistachkin
size: 41669)
2015-11-03 04:47:00
— part of check-in
[23024b4a6c]
on branch cleanX
— merge trunk
(user:
jan.nijtmans
size: 41669)
2015-11-03 05:47:00
— part of check-in
[346d62a411]
on branch cleanX-no-clean-glob
— merge cleanX
(user:
jan.nijtmans
size: 41669)