[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[taler-wallet-core] branch master updated: formatting
From: |
gnunet |
Subject: |
[taler-wallet-core] branch master updated: formatting |
Date: |
Fri, 25 Sep 2020 13:46:31 +0200 |
This is an automated email from the git hooks/post-receive script.
dold pushed a commit to branch master
in repository wallet-core.
The following commit(s) were added to refs/heads/master by this push:
new 4cbec4d5 formatting
4cbec4d5 is described below
commit 4cbec4d5fa30e486354e6c38f289f4a8855fd929
Author: Florian Dold <florian.dold@gmail.com>
AuthorDate: Fri Sep 25 17:16:22 2020 +0530
formatting
---
contrib/alloy/taler-sync.als | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/contrib/alloy/taler-sync.als b/contrib/alloy/taler-sync.als
index f5b36192..3f302b4a 100644
--- a/contrib/alloy/taler-sync.als
+++ b/contrib/alloy/taler-sync.als
@@ -14,8 +14,8 @@ sig SyncAccountKey { }
// Abstraction of what's in a sync blob
sig SyncBlobHeader {
- // Access matrix, abstracts the DH
- // suggested by Christian (https://bugs.gnunet.org/view.php?id=6077#c16959)
+ // Access matrix, abstracts the DH
+ // suggested by Christian
(https://bugs.gnunet.org/view.php?id=6077#c16959)
// The DH will yield the symmetric blob encryption key for the "inner
blob"
access: AnastasisMasterSecret -> WalletDeviceKey,
}
@@ -29,7 +29,7 @@ sig SyncAccount {
sig WalletState {
device_key: WalletDeviceKey,
anastasis_key: AnastasisMasterSecret,
- enrolled: set SyncAccount,
+ enrolled: set SyncAccount,
}
--
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [taler-wallet-core] branch master updated: formatting,
gnunet <=