diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-05-06 23:51:15 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-05-06 23:51:15 +0200 |
| commit | d55b2cd59de8052ce87118ff68b0bf68cd7f3b67 (patch) | |
| tree | f9d0f56464f34d7060bbd05cbfa0c8d7aabbab3a /doc/paper/offline.tex | |
| parent | d6d0ddbe072bae02f8dffe825b64be2d4d84b862 (diff) | |
more work on test, noting what is left to do
Diffstat (limited to 'doc/paper/offline.tex')
0 files changed, 0 insertions, 0 deletions