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