commit 94ffdc47a5b4226c40867a6c4b529e10f3f50e4a parent d55c0db6538dfe97af47d3140b40ed6911de675b Author: Christian Grothoff <christian@grothoff.org> Date: Mon, 21 Mar 2016 01:24:47 +0100 rename mint->exchange Diffstat:
| R | api-mint.rst -> api-exchange.rst | | | 0 | |
| R | impl-mint.rst -> impl-exchange.rst | | | 0 |
2 files changed, 0 insertions(+), 0 deletions(-)
diff --git a/api-mint.rst b/api-exchange.rst diff --git a/impl-mint.rst b/impl-exchange.rst