diff options
| author | David Härdeman <david@hardeman.nu> | 2020-07-04 12:20:53 +0200 |
|---|---|---|
| committer | David Härdeman <david@hardeman.nu> | 2020-07-04 12:20:53 +0200 |
| commit | 45af0d8c8603f037efe5f7bc1b1020b9cc42acdd (patch) | |
| tree | b35ef246c703c6237cfa165ddc950d61dbeabeae /debian/source/format | |
| parent | bf24a9ac317f55ffa85df60ddffd171abc347e65 (diff) | |
Add debug option for minecctl and prettify the output of dump_config() a bit
Diffstat (limited to 'debian/source/format')
0 files changed, 0 insertions, 0 deletions