diff options
| author | Maxime Dénès | 2017-05-20 01:31:20 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-05-20 01:31:20 +0200 |
| commit | 7dc84057e3596b1c3f6ec869daebcfa8747f5c12 (patch) | |
| tree | 0ac6c9286745aee5c42344e91750a45a33b68f5f /dev | |
| parent | a78bfb93a6ece86b1f56f41d12d900d369444451 (diff) | |
| parent | fa530442ba05e9b60efff9c726616ae00d6d09e7 (diff) | |
Merge PR#627: Obligations shrinking: shrink abstraction too
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions