diff options
author | Jeff Burdges <burdges@gnunet.org> | 2016-05-22 17:12:17 +0200 |
---|---|---|
committer | Jeff Burdges <burdges@gnunet.org> | 2016-05-22 17:12:17 +0200 |
commit | 4615cea151ad01123e2b0ace3e6c0faf3eb5ceb8 (patch) | |
tree | 544a5af351d07eaf63805c0027d2e8f1eb9ba4d8 /src/Makefile.am | |
parent | 619eb44b8709915ad05ecf9a4757fe7f67e50384 (diff) |
We cannot say "exchanged" everywhere we previously said "minted"
Imho we should resurect minted for this scenario, but that's complex.
Diffstat (limited to 'src/Makefile.am')
0 files changed, 0 insertions, 0 deletions