aboutsummaryrefslogtreecommitdiff
path: root/plugins/xml
diff options
context:
space:
mode:
authorMatthieu Sozeau2014-04-02 17:24:30 +0200
committerMatthieu Sozeau2014-05-06 09:58:58 +0200
commitb17c1e128fad2e84ebe4e4742b47bd67d88c56d6 (patch)
treebac92e1b2ffee60a4a33618c29d2a61b49bdb64a /plugins/xml
parenta2fce6d14d00a437466a1f7e3b53a77229f87980 (diff)
Fix restrict_universe_context to not remove useful constraints.
Diffstat (limited to 'plugins/xml')
0 files changed, 0 insertions, 0 deletions