diff options
| author | Krystof Beuermann <kry@gmx.eu> | 2019-08-23 17:45:37 +0200 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-08-23 08:45:37 -0700 |
| commit | 3344f861c4bca1040f5e1db320f03a4bf7019175 (patch) | |
| tree | 5c9d81af7fa3e83694d3113c33c4d01cb66c3fb7 /.github | |
| parent | a5094dda613cd0043f56fe39f24ee61d8b4bb92c (diff) | |
| download | pandoc-3344f861c4bca1040f5e1db320f03a4bf7019175.tar.gz | |
add proofState to settingsList (#5703)
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions