Correct, I just used his. Ah, so you generated your own .pyi file yourself? I thought he said he also used a script that would require some polishing up before it would be ready for “production” usage?
Correct, I just used his. Ah, so you generated your own .pyi file yourself? I thought he said he also used a script that would require some polishing up before it would be ready for “production” usage?