aboutsummaryrefslogtreecommitdiff
path: root/plugins
diff options
context:
space:
mode:
authorMatthieu Sozeau2016-05-25 13:49:50 +0200
committerMatthieu Sozeau2016-07-06 14:38:05 +0200
commitf77c2b488ca552b2316d4ebab1c051cb5a1347ab (patch)
tree1efb41cfb54c9b06b70971b788e928e430c7e58c /plugins
parenta7ed091b6842cc78f0480504e84c3cfa261860bd (diff)
Renaming to more generic has_dependent_elim test
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions