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