diff options
| author | Christian Grothoff <christian@grothoff.org> | 2015-08-08 22:12:45 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2015-08-08 22:12:45 +0200 |
| commit | cb47e13322e3fefac95a80b4a32d2551f62202d1 (patch) | |
| tree | 5163a8ee88ab02e89ffb9947dd1102fb5a48b8c1 | |
| parent | 6b048a0dc60f3c50f3fd3d6bed09dcf0d1f5a547 (diff) | |
-newline
| -rw-r--r-- | src/mint-lib/mint_api_refresh.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/mint-lib/mint_api_refresh.c b/src/mint-lib/mint_api_refresh.c index 00f2a825a..535262653 100644 --- a/src/mint-lib/mint_api_refresh.c +++ b/src/mint-lib/mint_api_refresh.c @@ -1848,7 +1848,6 @@ handle_refresh_reveal_finished (void *cls, } - /** * Submit a /refresh/reval request to the mint and get the mint's * response. |