mupra

↗ HN profile [ 13.9 ms ] full profile

Karma: 10
Created: July 25, 2022 (4y ago)
Submissions: 0

He is also the person behind the JEdit editor (or at least one of the main guys).

4y ago · view thread · ↗