diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2023-01-24 16:22:15 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2023-01-24 16:22:15 +0100 |
| commit | c63175dce7d49019a648701bfd06b6d7769cf51d (patch) | |
| tree | ef544dac2bd5a021af64bacca2f2661dae57f155 /arabluatex.dtx | |
| parent | c3c7d5945ff68e6b2e30768f06b9f09cf19263ef (diff) | |
| download | arabluatex-c63175dce7d49019a648701bfd06b6d7769cf51d.tar.gz | |
makefile: new rule for HAL
Diffstat (limited to 'arabluatex.dtx')
0 files changed, 0 insertions, 0 deletions