aboutsummaryrefslogtreecommitdiff
path: root/plugin
diff options
context:
space:
mode:
authorLaurent Théry2018-10-25 09:39:13 +0200
committerGitHub2018-10-25 09:39:13 +0200
commitf807c7799283209c26b1a6131db8759e955e9b98 (patch)
treeab74d918bbbaf563c0d786c9a4a24b20e111dd2c /plugin
parent5f8d45b54aa98732ec3de43d91814459d5a2f2e4 (diff)
parent044634dcc2f645e3afbdad6cb8dcc66f3eb4a87e (diff)
Merge pull request #217 from CohenCyril/allsigs
Adding `allsigs`, the dependent version of `allpairs`
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions