diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-03-01 15:35:04 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-03-01 15:35:04 +0100 |
| commit | b5cba3251053c22bf1df46282f1dd0a4c46f6a38 (patch) | |
| tree | b7495c3e47c40c57ff81045a4e43aa07a3b6c7b1 /src/mint/.gitignore | |
| parent | e406833eab7ca0835f9779abebada94592a85a7e (diff) | |
renaming mint->exchange
Diffstat (limited to 'src/mint/.gitignore')
| -rw-r--r-- | src/mint/.gitignore | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/mint/.gitignore b/src/mint/.gitignore deleted file mode 100644 index a2e71d5da..000000000 --- a/src/mint/.gitignore +++ /dev/null @@ -1,6 +0,0 @@ -taler-mint-dbinit -taler-mint-keycheck -taler-mint-keyup -taler-mint-pursemod -taler-mint-reservemod -taler-mint-httpd
\ No newline at end of file |