diff options
| author | nroi | 2018-05-06 12:13:16 +0200 |
|---|---|---|
| committer | nroi | 2018-05-06 12:13:16 +0200 |
| commit | f8956b3cb306f10cd0c4edfafe906144bb98520d (patch) | |
| tree | d585daec5cbca3ccb8d7ce7a1af53aad224dedd3 /.gitignore | |
| parent | 526033d099969cfbb09e1f490d578fc269c92f44 (diff) | |
| download | aur-f8956b3cb306f10cd0c4edfafe906144bb98520d.tar.gz | |
Do not create useless mnesia directory
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions