kframework/kweb

kweb extremely slow on Windows

Opened this issue · 0 comments

grosu commented

I tried to create a new folder and took 10 seconds or so. Similarly when I created a file.

Seems to work fine on Chrome.