diff options
author | Adriaan Moors <adriaan@lightbend.com> | 2016-10-18 10:34:55 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-18 10:34:55 -0700 |
commit | c6a1e947004a4582e4daf7e7a330b30f27dccc61 (patch) | |
tree | 2a88944622e2924ef0a8f2388d71f39310d1564f /test/files/presentation | |
parent | 4f3f008c058f7a448bd05a0b5dfcb2a931481c8c (diff) | |
parent | e5b51d8fec29048f94445c9b2b258b24245bb920 (diff) | |
download | scala-c6a1e947004a4582e4daf7e7a330b30f27dccc61.tar.gz scala-c6a1e947004a4582e4daf7e7a330b30f27dccc61.tar.bz2 scala-c6a1e947004a4582e4daf7e7a330b30f27dccc61.zip |
Merge pull request #5341 from milessabin/topci/si-9760-backport
SI-9760 Fix for higher-kinded GADT refinement
Diffstat (limited to 'test/files/presentation')
0 files changed, 0 insertions, 0 deletions