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