diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-03-21 01:24:47 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-03-21 01:24:47 +0100 |
| commit | 94ffdc47a5b4226c40867a6c4b529e10f3f50e4a (patch) | |
| tree | b85fbeea5b31dd09446aacd2f81b7865f054448e | |
| parent | d55c0db6538dfe97af47d3140b40ed6911de675b (diff) | |
| download | docs-94ffdc47a5b4226c40867a6c4b529e10f3f50e4a.tar.gz docs-94ffdc47a5b4226c40867a6c4b529e10f3f50e4a.tar.bz2 docs-94ffdc47a5b4226c40867a6c4b529e10f3f50e4a.zip | |
rename mint->exchange
| -rw-r--r-- | api-exchange.rst (renamed from api-mint.rst) | 0 | ||||
| -rw-r--r-- | impl-exchange.rst (renamed from impl-mint.rst) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/api-mint.rst b/api-exchange.rst index 7d2efb6c..7d2efb6c 100644 --- a/api-mint.rst +++ b/api-exchange.rst diff --git a/impl-mint.rst b/impl-exchange.rst index 680519cc..680519cc 100644 --- a/impl-mint.rst +++ b/impl-exchange.rst |