j
k
j a
j l
On Wed, Feb 1, 2012 at 13:01:58 -0800, Jeremy Huddleston wrote:
yeah, that's probably cleaner (I guess it'll avoid the -*), but it should have the same effect.
I get host_os=linux-gnu here afaict, so not really the same effect, no.
Cheers, Julien
Back to the thread
Back to the list
