aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJakob Unterwurzacher2016-10-25 21:19:37 +0200
committerJakob Unterwurzacher2016-10-25 21:19:37 +0200
commit6538dc15afb7a7a159f070a57a1e9073ca076661 (patch)
treea0fc2ae9d4ef863502c3b44f2671265e1369790d /.gitignore
parentf41d2e067679c4c6a8b0b5dcb52a113918806e48 (diff)
fusefrontend: rename "createsHole" to clearer "createsCiphertextHole"
...and add comments for what is happening.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions