bedef
bedef
Ok, found soon after. If someone needs it, run a find for the directory curseCache, there create a directory with the project id form the manifets: inside create a directory...
I'm willing to buy a phone with kai os, can I contribute to this project without owning one yet?
Could you please state what would be the correct layout and why the current layout is a problem?
I'm not very experienced in python packaging but I will try to work on this as soon as possible. Feel free to work out a PR if you'd like
I read some documentation and your previous comment and I think I've fixed the project structure now. Running a `python -m pip install .` works. Let me know if the...
I think I have addressed all the points you've made, but for the `netplot.processor.processor` import, it seems to be the only way that makes GitHub Actions work. Running `python -m...
This is a big issue for anyone that wants to contribute to mailing list based projects. Alternatively provide an smtp endpoint to send unencrypted emails (they're patches, encryption isn't really...
@emersion will definitely try hydroxide, thanks for the information. Its existence is not an excuse for Proton to abandon this issue though. I think the intersection of privacy caring people...
thanks for the answer! In the meantime I've also tried running make form inside CoqIDE, with one file of frap open. It compiled something, but stopped at some unification. This...