drochner ba10990554 put back the (non-default) "idea" option which got lost a while ago		2009-12-18 18:54:24 +00:00
..
patch-aa
patch-ab
patch-ac
patch-ad
patch-ae
patch-af
patch-ba	put back the (non-default) "idea" option which got lost a while ago	2009-12-18 18:54:24 +00:00
patch-bb	put back the (non-default) "idea" option which got lost a while ago	2009-12-18 18:54:24 +00:00
patch-bc	put back the (non-default) "idea" option which got lost a while ago	2009-12-18 18:54:24 +00:00