diff options
| author | Nadrieril | 2019-11-11 13:42:31 +0000 |
|---|---|---|
| committer | Nadrieril | 2019-11-11 13:50:37 +0000 |
| commit | 207d10c4b7d838d712b135dca56bc31f3fe5b648 (patch) | |
| tree | 54cd7e703e3c340390563554ad96ed04faa68a64 /dhall/.gitignore | |
| parent | d28d114552e6c6cb913dce48893fa87e87bf11e2 (diff) | |
Clarify Span::union and add Span::merge
Diffstat (limited to 'dhall/.gitignore')
0 files changed, 0 insertions, 0 deletions