diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-10-25 14:58:24 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-10-25 14:58:24 +0200 |
| commit | f52222ebd5437b89a374c6c2adc31304c6f35ff7 (patch) | |
| tree | 2459dbe4d2943a41c7b7aa3e860283d5a36c9cea /doc/paper/offline.tex | |
| parent | 093db2e646bdcd84e107e30abb7b627775a42cba (diff) | |
use status codes we actually use in the implementation now
Diffstat (limited to 'doc/paper/offline.tex')
0 files changed, 0 insertions, 0 deletions