diff options
| author | zeapo <mohamed@zenadi.com> | 2015-11-22 14:30:37 +0100 |
|---|---|---|
| committer | zeapo <mohamed@zenadi.com> | 2015-11-22 14:30:37 +0100 |
| commit | 5d6d349e6242f49aa5bf71aef96da8dfe92a65db (patch) | |
| tree | 85481aba2f4f55710d93bbd87d97d8ade962ea90 /crypto-pgpainless/api/crypto-pgpainless.api | |
| parent | 5b3cc540e413395dc4771d810058fcd467efab4c (diff) | |
warn if the directory is not empty
Diffstat (limited to 'crypto-pgpainless/api/crypto-pgpainless.api')
0 files changed, 0 insertions, 0 deletions