diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2018-08-10 15:44:20 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2018-08-10 15:44:20 -0700 |
| commit | 6003c596d7b348b29dd4f452f504bfd717634fa2 (patch) | |
| tree | eb5b396603e32b29bd8744ed8b310ad46704dea7 /.github | |
| parent | 84e0b905196fae9924c847741c271f40ed57c83f (diff) | |
| download | pandoc-6003c596d7b348b29dd4f452f504bfd717634fa2.tar.gz | |
Avoid non-exhaustive pattern match.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions