diff options
| author | Jan Hrastnik | 2021-06-17 11:49:50 +0000 |
|---|---|---|
| committer | Jan Hrastnik | 2021-06-17 11:49:50 +0000 |
| commit | 8bccd6df3054143baf128157d8dcecb10a911956 (patch) | |
| tree | 86b4cb7c8c369b554e6cde8aac44061bd2bb6afc /runtime/queries/latex | |
| parent | 9c3eadb2e4fd297abcc8ceb02b3088ab3b9b1ceb (diff) | |
applied changes from pr review
Diffstat (limited to 'runtime/queries/latex')
0 files changed, 0 insertions, 0 deletions