aboutsummaryrefslogtreecommitdiff
path: root/dev/doc
diff options
context:
space:
mode:
authorMatthieu Sozeau2014-04-09 15:31:39 +0200
committerMatthieu Sozeau2014-05-06 09:59:00 +0200
commit99c8b69f5ef0f92b26ec23be06743312846f5af3 (patch)
tree75771d1bf2b061a236ca1dca2403f29c5f1cb78e /dev/doc
parent266aea59645ede8fc12ff60ce077504e1f29624c (diff)
Fix derive plugin to properly treat universes
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions