diff options
| author | Martin Ruckert <martin.ruckert@hm.edu> | 2024-09-09 14:33:57 +0000 |
|---|---|---|
| committer | Martin Ruckert <martin.ruckert@hm.edu> | 2024-09-09 14:33:57 +0000 |
| commit | db46ce58e2c882ffc9bbb4b90dbd9c3496d383a4 (patch) | |
| tree | ffc6f8e145b3ab8b17320776ca0015112cf6cf04 /Build/source/utils/xindy/xindy-src/git@texlive.info:texlive | |
| parent | ad8752dce449418f2e3cd7337133427a45bfa835 (diff) | |
TeXprof: first version of texprofile.man
git-svn-id: svn://tug.org/texlive/trunk@72235 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils/xindy/xindy-src/git@texlive.info:texlive')
0 files changed, 0 insertions, 0 deletions