diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-10-13 12:34:57 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-10-13 12:34:57 +0200 |
| commit | d363e2bc76b23dc9fd1ea145f91081096c46189f (patch) | |
| tree | 36906f6c7f9c050910ea73536b0c338f6f15e0f1 /doc/paper/offline.tex | |
| parent | ce17788c4e00ada0cda61947c4aadd8378d3fc9e (diff) | |
fix format string issues
Diffstat (limited to 'doc/paper/offline.tex')
0 files changed, 0 insertions, 0 deletions