diff options
| author | Florian Dold <florian.dold@gmail.com> | 2016-02-29 13:46:32 +0100 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2016-02-29 13:46:32 +0100 |
| commit | 725fca3a93a5b362d2ec4c80ffc15d9bd83149bc (patch) | |
| tree | 7e73d49fcd4d3f0f2f98cc390bcf491e29dab3f7 /build_mint.sh | |
| parent | 2aebbe4e74b54ddd1c889f030d60314f348bf5ec (diff) | |
| download | deployment-725fca3a93a5b362d2ec4c80ffc15d9bd83149bc.tar.gz deployment-725fca3a93a5b362d2ec4c80ffc15d9bd83149bc.tar.bz2 deployment-725fca3a93a5b362d2ec4c80ffc15d9bd83149bc.zip | |
permit core dumps
Diffstat (limited to 'build_mint.sh')
0 files changed, 0 insertions, 0 deletions