chiark / gitweb /
documentation/python: this variable is set in both branches below.
authorVladimír Vondruš <mosra@centrum.cz>
Thu, 19 Sep 2024 16:16:39 +0000 (18:16 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Sat, 28 Sep 2024 01:25:37 +0000 (03:25 +0200)
commit6a48e3e6b3b9afb6f54fde0a8b463bdc5488c7f9
tree90f5d0d740ea7b49f49e9b68b9b5581751a21b9e
parent6b03faa2cbe2e4890aeddf2e0fffd7c9de67a6b4
documentation/python: this variable is set in both branches below.

No need to have it set before at all, this makes it more error-prone.
documentation/python.py