diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-11-08 12:41:41 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-11-08 12:41:41 +0100 |
| commit | a1248401e3d4873e6a4f5bd4ad1d3d5fa2d21a0e (patch) | |
| tree | 9c602118f6f1ccce0e8dcf8a4ba154180b7a7bfa /.gitignore | |
| parent | d4fe4e8acd234bd4d1926a60816b6de3be1af9eb (diff) | |
| download | arabluatex-a1248401e3d4873e6a4f5bd4ad1d3d5fa2d21a0e.tar.gz | |
new variable CMP in makefile
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions