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 /about.html | |
parent | c3c7d5945ff68e6b2e30768f06b9f09cf19263ef (diff) | |
download | arabluatex-c63175dce7d49019a648701bfd06b6d7769cf51d.tar.gz |
makefile: new rule for HAL
Diffstat (limited to 'about.html')
0 files changed, 0 insertions, 0 deletions