diff options
| author | Pierre-Marie Pédrot | 2014-08-09 18:24:30 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-08-09 18:24:30 +0200 |
| commit | c5a4aba58f973898ebc9af5176753c7962bddb3c (patch) | |
| tree | ce08feb40859945ea0cf9ba9a67df23c9bb03f4a /plugins | |
| parent | 56a6727525e860a155b6ae73da152e558b3ea976 (diff) | |
Adding a primitive to merge ContextSets which is more efficient when one
of the argument is smaller than the other one.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions