diff options
| author | 2023-12-11 04:48:17 +0000 | |
|---|---|---|
| committer | 2023-12-11 04:48:17 +0000 | |
| commit | 3949afa6cefe962b420e31cb8ebe119b212f9259 (patch) | |
| tree | d73d2a0c13e728578cd9af887695f59e204593b3 /opengl/java | |
| parent | 70ce23b036fcf1bc0552bb133ddd1b388feae11b (diff) | |
| parent | 7409fa17f7259a2318dccc33e23cfd180002a292 (diff) | |
Merge "Fixed TeX metric name according to name in catalog" into main
Diffstat (limited to 'opengl/java')
0 files changed, 0 insertions, 0 deletions