GerhardHoffmann 0ebf8b095a getCommandResult(): ...

reset result if necessary (for instance for showing current result
	in GUI.

2024-12-06 11:48:21 +01:00

..

command.cpp

getCommandResult():

2024-12-06 11:48:21 +01:00

command.h

getCommandResult():

2024-12-06 11:48:21 +01:00