aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/firstorder
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2017-11-23 18:08:49 +0100
committerGravatar Maxime Dénès <mail@maximedenes.fr>2017-11-23 18:08:49 +0100
commit167c52c6a15db5e094835244aff3ba76c78b391e (patch)
tree550a25dd9fe910868b233a66dd4dd33bca943343 /plugins/firstorder
parent915554785ffed11370f5d700d11a8b5614408096 (diff)
parent2db70092d63065be8a5902764e0d1d5f1ea01e6c (diff)
Merge PR #6203: Fix universe polymorphic Program obligations.
Diffstat (limited to 'plugins/firstorder')
0 files changed, 0 insertions, 0 deletions