Comment 5 for bug 597335

Revision history for this message
Jon Tai (jontai) wrote :

In case it wasn't clear, the end user's method of accessing this would be to D INT^%SS.