diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-01-21 16:14:40 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-01-21 16:14:40 +0100 |
| commit | d17d3c11f6229532b4513b5bf0531cf1a28783ca (patch) | |
| tree | c9d3cd037947ce089cbdfc39e2cd5f4431e1f246 /src/mint-tools | |
| parent | 014b901b2cf7a307ab5a16750be72a8f27ef8e89 (diff) | |
| download | exchange-d17d3c11f6229532b4513b5bf0531cf1a28783ca.tar.gz exchange-d17d3c11f6229532b4513b5bf0531cf1a28783ca.tar.bz2 exchange-d17d3c11f6229532b4513b5bf0531cf1a28783ca.zip | |
remove dead update
Diffstat (limited to 'src/mint-tools')
0 files changed, 0 insertions, 0 deletions