diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2016-06-20 18:36:41 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2016-06-20 18:36:41 +0200 |
| commit | 6d95c21697233e375505fa93019bbb43322975c0 (patch) | |
| tree | 7be5a35b7b056251b5f108f58e9cb96bb721120f /makefile | |
| parent | d0f6579a76225fbdac0c8f0a31ba37465d59666e (diff) | |
| download | arabluatex-6d95c21697233e375505fa93019bbb43322975c0.tar.gz | |
bugfix: wrong font selection inside \cap{}
Diffstat (limited to 'makefile')
0 files changed, 0 insertions, 0 deletions