diff options
| author | pauloue <oue.paul18@gmail.com> | 2018-08-15 05:36:40 -0400 |
|---|---|---|
| committer | SmallJoker <SmallJoker@users.noreply.github.com> | 2018-08-15 11:36:40 +0200 |
| commit | 5aa865e56b18c3f0cf1d43da2298ccc05236e15c (patch) | |
| tree | c0efa1b97615f482d1907e786572f104a965fdfd /src/gui | |
| parent | 03f89e8ffca84e2ff2f6cea8dcee49b067280cc4 (diff) | |
| download | minetest-5aa865e56b18c3f0cf1d43da2298ccc05236e15c.tar.gz minetest-5aa865e56b18c3f0cf1d43da2298ccc05236e15c.tar.bz2 minetest-5aa865e56b18c3f0cf1d43da2298ccc05236e15c.zip | |
Save debug.txt to build dir for RUN_IN_PLACE build (#7615)
Diffstat (limited to 'src/gui')
0 files changed, 0 insertions, 0 deletions