Update Filter Operators.tid (#4739)

This commit is contained in:
twMat
2020-06-27 13:13:10 +01:00
committed by GitHub
parent 4c39db1f54
commit 8b5a4faa07
@@ -6,7 +6,7 @@ type: text/vnd.tiddlywiki
\define .operator-rows(filter)
<$list filter="$filter$"><tr>
<td><$link to={{!!title}}>{{!!caption}}</$link></td>
<td><$link>{{!!caption}}</$link></td>
<td>{{!!op-purpose}}</td>
<td align="center"><$list filter="[all[current]tag[Common Operators]]">✓</$list></td>
<td align="center"><$list filter="[all[current]tag[Negatable Operators]]">`!`</$list></td>