diff options
| author | 3w36zj6 <52315048+3w36zj6@users.noreply.github.com> | 2023-10-02 06:40:40 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-01 17:40:40 -0400 |
| commit | 33cdce8f5c2422a69463f6c5c22629fdefc366e0 (patch) | |
| tree | b55af96aa7d951c118819dfe54dc282b77595c5d /src/Text | |
| parent | 67ea7cd253bb84d759e94e733ae9422b5050a290 (diff) | |
Fix legacy option for citation (#9114)
Closes #8737.
Diffstat (limited to 'src/Text')
0 files changed, 0 insertions, 0 deletions