diff options
author | Gregor Kleen <pngwjpgh@users.noreply.github.com> | 2016-07-18 12:22:23 +0200 |
---|---|---|
committer | Gregor Kleen <pngwjpgh@users.noreply.github.com> | 2016-07-18 12:22:23 +0200 |
commit | 9e17810329dbfa0adc0ee3042556fbd13f810d5c (patch) | |
tree | e213225286891369211b51c793bc55633298229e /server/default-conf/Main.hs | |
parent | 6831491b904403beb7fd3899b28e0deaa86d767d (diff) | |
download | thermoprint-9e17810329dbfa0adc0ee3042556fbd13f810d5c.tar thermoprint-9e17810329dbfa0adc0ee3042556fbd13f810d5c.tar.gz thermoprint-9e17810329dbfa0adc0ee3042556fbd13f810d5c.tar.bz2 thermoprint-9e17810329dbfa0adc0ee3042556fbd13f810d5c.tar.xz thermoprint-9e17810329dbfa0adc0ee3042556fbd13f810d5c.zip |
test for safer deletion
Diffstat (limited to 'server/default-conf/Main.hs')
0 files changed, 0 insertions, 0 deletions