diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-08-11 22:43:26 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-08-11 22:43:26 +0200 |
| commit | dd724c009dcc6cbc2be1e5431f59917036f0784b (patch) | |
| tree | 3586715cc42d11aba480722333f4b36a44223784 /doc/.gitignore | |
| parent | bcd5a51a7e8b7b7097d6ab4761e2e097a97c9bc6 (diff) | |
finished implementing session-hash based reveal checking
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions