diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2016-12-18 10:45:05 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2016-12-18 10:45:05 +0100 |
| commit | 76fc8312d16b1255e40b7845826c86ed1f435f5d (patch) | |
| tree | 1a50b6987f3c758ec93b3c2832f5ff2777c73901 /.gitignore | |
| parent | b9fd7813376ecd32d03db7ffaefefd53af84403f (diff) | |
| download | arabluatex-76fc8312d16b1255e40b7845826c86ed1f435f5d.tar.gz | |
a bit of tidy-up in the documentation
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions