diff options
| author | Joshua Haberman <jhaberman@gmail.com> | 2016-03-28 21:58:46 -0700 |
|---|---|---|
| committer | Joshua Haberman <jhaberman@gmail.com> | 2016-03-28 21:58:46 -0700 |
| commit | d0b9d0a9b782e46a483d4d72515f9ab4f72e402a (patch) | |
| tree | 783d68c8df77a2a628f1517c0576f20df634dec3 /tools | |
| parent | f73baf670e8b14ef15fedfaa593ba71ba94dcfc8 (diff) | |
| parent | 7f0d3bb83dbb7590f3008182a8b27ecf9f0220d3 (diff) | |
Merge pull request #52 from haberman/oneof-not-def
Make OneofDef stop deriving from Def.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions