28 Sep
2011
28 Sep
'11
1:23 p.m.
It is at the beginning of slime.el but slime doesn't depend on hideshow any more. L.