diff options
| author | Laurenz <laurmaedje@gmail.com> | 2024-03-11 12:51:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-11 11:51:38 +0000 |
| commit | 7f0b7a28c7686b7b76ccdc1aa2937c6994c006fe (patch) | |
| tree | 930ba673979e52317060176a468c02157125cf82 /Dockerfile | |
| parent | 671b67d43f9b4bbad1076588582823ec92322e3b (diff) | |
Fix figure caption separator synthesis (#3621)
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions