mirror of
https://github.com/pikami/st.git
synced 2026-08-12 17:58:17 +01:00
Remove redundant control check
control was set, but it was not ever used because it was set again some lines later.
This commit is contained in:
control was set, but it was not ever used because it was set again some lines later.