</p>\r
</dd>\r
<dt>\r
+-v\r
+</dt>\r
+<dd>\r
+<p>\r
+ Show the progress of checking files out.\r
+</p>\r
+</dd>\r
+<dt>\r
--trivial\r
</dt>\r
<dd>\r
</div>\r
<div id="footer">\r
<div id="footer-text">\r
-Last updated 08-Jun-2008 01:34:02 UTC\r
+Last updated 10-Jun-2008 04:10:01 UTC\r
</div>\r
</div>\r
</body>\r
trees that are not directly related to the current
working tree status into a temporary index file.
+-v::
+ Show the progress of checking files out.
+
--trivial::
Restrict three-way merge by `git-read-tree` to happen
only if there is no file-level merging required, instead