From: Peter Graves <peter@ar...> - 2002-06-18 13:37:36
This morning's 0.15.2+ development snapshot is up:
http://armedbear.org/j-jar.zip (just j.jar)
By request (bug 570395), xmlElectricSlash, mapped by default to '/' in
XML mode, now indents the line after completing the end tag.
This was a two-line change and it looks safe and seems to work,
but please let me know if I've overlooked something.