diff options
| author | Thomas Bauereiss | 2018-07-09 13:53:19 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-07-09 14:47:53 +0100 |
| commit | d829021b5f64d3c6b4ad39c69a5f36475d8e7071 (patch) | |
| tree | de5b43079c1fc145aee5b0e330535fba37dc779b /doc/usage.tex | |
| parent | 3334e0f9de700ed918e5f8c461f8cf08d23e7fd3 (diff) | |
Update gitignore
Diffstat (limited to 'doc/usage.tex')
0 files changed, 0 insertions, 0 deletions