MUNI - FI: PA181 2018/2019
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
europ opened this issue 5 years ago · comments
"Hide Info" is selected by default.
Mozilla Firefox 67.0 (64-bit) on Windows 10
And also "Show Info" is selected by default too.