-
intrigeri authored
It's useless at the moment (no variable is used in this script) but let's avoid the risk of forgetting to add it once it's needed.
5ad3516e
It's useless at the moment (no variable is used in this script) but let's avoid the risk of forgetting to add it once it's needed.