Is there anyone who does not use easiest unsolved unarchived -o for workmode? I realize that people can just configure their .kattisrc, but this is not intuitive to do for new users. Should we perhaps initialize the .kattisrc to include these arguments?
Is there anyone who does not use easiest unsolved unarchived -o for workmode? I realize that people can just configure their .kattisrc, but this is not intuitive to do for new users. Should we perhaps initialize the .kattisrc to include these arguments?