diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2024-06-06 09:03:09 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2024-06-06 09:03:09 +0200 |
| commit | 12c5dae25d8b2a69c9bf2a8444a4861335f88f29 (patch) | |
| tree | a270da9376f2fa25778998890b9e56e7294a4ecb /fonts/etbb/doc/ETbb-doc.tex | |
| parent | 26e3219df0d69755f35e3fdf67fd19aff97e0645 (diff) | |
avoid internal abbreviation for our ontology
Diffstat (limited to 'fonts/etbb/doc/ETbb-doc.tex')
0 files changed, 0 insertions, 0 deletions