diff options
| author | Albert Krewinkel <albert@zeitkraut.de> | 2017-12-01 17:12:56 +0100 |
|---|---|---|
| committer | Albert Krewinkel <albert@zeitkraut.de> | 2017-12-01 17:12:56 +0100 |
| commit | 8473a151c5685f8ceb515abf6000ab4fb7a3911c (patch) | |
| tree | 0c9fe0651e83d5e35f5b0e966174780d4f117b4f /tools | |
| parent | 171187a4527497701b3c77bd56cea2d770d4e3b0 (diff) | |
| download | pandoc-8473a151c5685f8ceb515abf6000ab4fb7a3911c.tar.gz | |
List.lua: add missing fixes as discussed in #4099
The changes were missing due to an error while using git.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions