diff options
author | David Waern <david.waern@gmail.com> | 2009-08-13 22:17:33 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2009-08-13 22:17:33 +0000 |
commit | 877ff1c287427f54510d01f3a01424a86f9a970c (patch) | |
tree | 4ff70e3c15f4da982ff3760cab68c75025c17963 /html/plus.gif | |
parent | 27e1a90acd9f0e2b7b6d5998247f8553fca62ea8 (diff) |
Switch from PatternSignatures to ScopedTypeVariables in Main
Diffstat (limited to 'html/plus.gif')
0 files changed, 0 insertions, 0 deletions