diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-04-18 21:05:27 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-04-18 21:05:27 +0200 |
| commit | 5e8ef386803c399c1b6d780181b0b8662c418db0 (patch) | |
| tree | e1e0e7433be54c9f1904e73d3257b00b82320847 /doc/paper | |
| parent | 164c125528e4af078815c0156df54fa0120eed8a (diff) | |
fixing #4980
Diffstat (limited to 'doc/paper')
0 files changed, 0 insertions, 0 deletions