3 ms·
Whipper is ripper frontend that's 'planned' to eventually be accepted at 'certain sites', but it's not yet to my knowledge.
by _emacsomancer_ 8y ago
Whipper is ripper frontend that's 'planned' to eventually be accepted at 'certain sites', but it's not yet to my knowledge.