diff options
| author | Jakob Unterwurzacher | 2016-10-25 21:19:37 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2016-10-25 21:19:37 +0200 |
| commit | 6538dc15afb7a7a159f070a57a1e9073ca076661 (patch) | |
| tree | a0fc2ae9d4ef863502c3b44f2671265e1369790d /Documentation/.gitignore | |
| parent | f41d2e067679c4c6a8b0b5dcb52a113918806e48 (diff) | |
fusefrontend: rename "createsHole" to clearer "createsCiphertextHole"
...and add comments for what is happening.
Diffstat (limited to 'Documentation/.gitignore')
0 files changed, 0 insertions, 0 deletions