-
Troels Henriksen authored
output record for the input editor. Theoretically, the nice typeout implementation should now also work for Goatee, though I seem to have broken it at some other point.
e06c3da9
output record for the input editor. Theoretically, the nice typeout implementation should now also work for Goatee, though I seem to have broken it at some other point.