[slime-devel] indentation!

How can we disable slime indentation and revert to the normal indentation? -- __Pascal Bourguignon__ http://www.informatimago.com/ Voting Democrat or Republican is like choosing a cabin in the Titanic.