diff options
| author | Edward Wang | 2018-07-27 11:23:44 -0400 |
|---|---|---|
| committer | edwardcwang | 2018-08-22 11:55:38 -0700 |
| commit | c3c3cb6decac5ea196835d9bd2d26132cc81b51b (patch) | |
| tree | bd61a328884f8959aaa1225fb01776c61a5a1b25 /.github | |
| parent | a635ea83f772969a22e9323f82db8cf9437d39fd (diff) | |
Use a mix-in to override Seq error
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions