diff options
author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-10-17 15:58:19 +0200 |
---|---|---|
committer | Klaus Aehlig <aehlig@linta.de> | 2023-10-17 17:54:25 +0200 |
commit | 2971fd9d0b3f23962f6a8e47497fe99ef20b54b5 (patch) | |
tree | 1b478b02695502831e90fbfe4a391c991922086a /files | |
parent | ccba5d03a51f2630fd396b66c2bc6937bf39b963 (diff) | |
download | rules-typesetting-master.tar.gz |
In this way, files of different types can easily be combined, as
long as a common format to to through can be specified.
Diffstat (limited to 'files')
0 files changed, 0 insertions, 0 deletions