João Dear
Results
3
issues of
João Dear
In ranger the preview for lost+found and root just shows not accessible, in cfiles it's breaking the ui. I installed from the aur, only dependencies not installed are poppler, w3m...
I've been playing around a little bit in the language and, as far as I've understood, the only difference between an mm0 file and mm1 is the absence of proofs....