Commit graph

1 commit

Author SHA1 Message Date
drochner
ba10990554 put back the (non-default) "idea" option which got lost a while ago 2009-12-18 18:54:24 +00:00