diff options
| author | Guillaume Martres <smarter@ubuntu.com> | 2016-02-08 20:37:48 +0100 |
|---|---|---|
| committer | Guillaume Martres <smarter@ubuntu.com> | 2016-02-08 20:37:48 +0100 |
| commit | 7d3f6d02141bb362c4c1e383cb21a476383b5c60 (patch) | |
| tree | c1c9225624c5d88f37ee4d3cf554e98ffc20ddc7 /src/dotty/tools/dotc/config | |
| parent | 73e13e8e16eaef531aafb1ff1666047b9f2f41a4 (diff) | |
| download | dotty-7d3f6d02141bb362c4c1e383cb21a476383b5c60.tar.gz dotty-7d3f6d02141bb362c4c1e383cb21a476383b5c60.tar.bz2 dotty-7d3f6d02141bb362c4c1e383cb21a476383b5c60.zip | |
Fix documentation of ConstraintHandling#addConstraint
Diffstat (limited to 'src/dotty/tools/dotc/config')
0 files changed, 0 insertions, 0 deletions