diff options
| author | Marcin Szamotulski <coot@coot.me> | 2022-05-24 08:29:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-24 08:29:59 +0200 |
| commit | 041385bc43f0b99d26077787eb8ed9e394766438 (patch) | |
| tree | 84d49d3be0eeb2b1a2c1ec487fe783d89cb6b6b2 /latex-test/src/NamespacedIdentifier/NamespacedIdentifier.hs | |
| parent | c0f06d55bd64d2777588860917be3dcdaede3479 (diff) | |
Check if doc-index.json exists before reading it (#1488)
Diffstat (limited to 'latex-test/src/NamespacedIdentifier/NamespacedIdentifier.hs')
0 files changed, 0 insertions, 0 deletions