Merge pull request #18 from furfurylic/replace_if_skipped_inv_table
Re-adjust column widths of the table on replace_if_skipped::operator()
This commit is contained in:
commit
b2684cc5cb
|
@ -7072,7 +7072,7 @@ template <class U = T> std::optional<U> operator()(U* = nullptr) const;
|
||||||
|
|
||||||
<table id="table.replace_if_skipped.skipped">
|
<table id="table.replace_if_skipped.skipped">
|
||||||
<caption>Effects of calling of <c>operator()</c></caption>
|
<caption>Effects of calling of <c>operator()</c></caption>
|
||||||
<col width="13"/><col width="5"/><col width="18"/>
|
<col width="2"/><col width="5"/><col width="29"/>
|
||||||
|
|
||||||
<tr>
|
<tr>
|
||||||
<th>#</th>
|
<th>#</th>
|
||||||
|
|
Loading…
Reference in New Issue