disp_help(): fixed some space/tabs unconsistency

This commit is contained in:
2022-12-17 19:52:45 +01:00
parent d15a98a7d1
commit 2a05bc8392