diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2016-12-05 11:30:55 +0100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-01-25 17:07:41 +0100 |
| commit | e1d2da4c227a15427b82697d573d44bbd08ef906 (patch) | |
| tree | d4336629f4bfc719594a1fd23be85936c97d0f8a /osx | |
| parent | f1cec1dd0257c10fb291a7fb50e216a5218ebf77 (diff) | |
| download | pandoc-e1d2da4c227a15427b82697d573d44bbd08ef906.tar.gz | |
Have warningWithPos take a SourcePos rather than Maybe SourcePos.
After all, we have warning if you don't want the source pos info.
Diffstat (limited to 'osx')
0 files changed, 0 insertions, 0 deletions