diff options
| author | Eric Huss <eric@huss.org> | 2019-01-07 18:52:28 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-07 18:52:28 -0800 |
| commit | d0977ab1dd9720c572b2d54a51196fcdf38f7544 (patch) | |
| tree | e68d6abaaa3a5e142980b728672915ae8df7a600 /.gitignore | |
| parent | ad5ea1d904d5196fa63b77e826f82c377b604602 (diff) | |
| parent | 7ee1c1b4798f18135ee618e30ccedfdf1f365451 (diff) | |
| download | milf-rs-d0977ab1dd9720c572b2d54a51196fcdf38f7544.tar.gz milf-rs-d0977ab1dd9720c572b2d54a51196fcdf38f7544.zip | |
Merge pull request #280 from alexcrichton/fix-duplicate
Fix disallowing duplicate table headers
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions