Skip to content

Commit fb047b5

Browse files
committed
deploy: f0e8d44
1 parent 755ed4a commit fb047b5

File tree

4 files changed

+6
-6
lines changed

4 files changed

+6
-6
lines changed

user/print.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -3629,11 +3629,11 @@ <h2 id="options-31"><a class="header" href="#options-31">Options</a></h2>
36293629
</dd>
36303630
<dt><code>--width=&lt;WIDTH&gt;</code>, <code>-w &lt;WIDTH&gt;</code></dt>
36313631
<dd>
3632-
<p>Fill output lines up to a maximum of WIDTH columns, default 79.</p>
3632+
<p>Fill output lines up to a maximum of WIDTH columns, default 75.</p>
36333633
</dd>
36343634
<dt><code>--goal=&lt;GOAL&gt;</code>, <code>-g &lt;GOAL&gt;</code></dt>
36353635
<dd>
3636-
<p>Goal width, default ~0.94*WIDTH. Must be less than WIDTH.</p>
3636+
<p>Goal width, default of 93% of WIDTH. Must be less than WIDTH.</p>
36373637
</dd>
36383638
<dt><code>--quick</code>, <code>-q</code></dt>
36393639
<dd>

user/searchindex.js

+1-1
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

user/searchindex.json

+1-1
Large diffs are not rendered by default.

user/utils/fmt.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -243,11 +243,11 @@ <h2 id="options"><a class="header" href="#options">Options</a></h2>
243243
</dd>
244244
<dt><code>--width=&lt;WIDTH&gt;</code>, <code>-w &lt;WIDTH&gt;</code></dt>
245245
<dd>
246-
<p>Fill output lines up to a maximum of WIDTH columns, default 79.</p>
246+
<p>Fill output lines up to a maximum of WIDTH columns, default 75.</p>
247247
</dd>
248248
<dt><code>--goal=&lt;GOAL&gt;</code>, <code>-g &lt;GOAL&gt;</code></dt>
249249
<dd>
250-
<p>Goal width, default ~0.94*WIDTH. Must be less than WIDTH.</p>
250+
<p>Goal width, default of 93% of WIDTH. Must be less than WIDTH.</p>
251251
</dd>
252252
<dt><code>--quick</code>, <code>-q</code></dt>
253253
<dd>

0 commit comments

Comments
 (0)