diff options
| author | Miles Sabin <miles@milessabin.com> | 2016-04-19 11:35:40 +0100 |
|---|---|---|
| committer | Miles Sabin <miles@milessabin.com> | 2016-08-15 09:37:57 +0100 |
| commit | e5b51d8fec29048f94445c9b2b258b24245bb920 (patch) | |
| tree | e9ceec3da47060658846aa9adc5caa643eb537fb /project/BuildSettings.scala | |
| parent | 81a67eeacc7d2622ee364a21203b227142e2043e (diff) | |
| download | scala-e5b51d8fec29048f94445c9b2b258b24245bb920.tar.gz scala-e5b51d8fec29048f94445c9b2b258b24245bb920.tar.bz2 scala-e5b51d8fec29048f94445c9b2b258b24245bb920.zip | |
SI-9760 Fix for higher-kinded GADT refinement
Diffstat (limited to 'project/BuildSettings.scala')
0 files changed, 0 insertions, 0 deletions