5 Commits

Author	SHA1	Message	Date
juha	ecd140c985	Improve license headers in sources, part 2. Refer to details about license, not copyright. Remove jargon about lack of warranty, it is covered in license already. ... git-svn-id: trunk@41389 -	2013-05-25 09:22:25 +00:00
mattias	89a92b3936	IDE: optimized initializing IDE options ... git-svn-id: trunk@24797 -	2010-04-21 18:18:52 +00:00
mattias	458cb4762c	educationlaz: added options to control shown speedbuttons on IDE bar, and objectinspector pages, from Michael Kuhardt ... git-svn-id: trunk@24748 -	2010-04-20 17:29:32 +00:00
mattias	207c9b617f	education: using normal options framework ... git-svn-id: trunk@20796 -	2009-07-06 07:31:22 +00:00
mattias	4d5cecc70f	educationlaz: added options base class ... git-svn-id: trunk@20640 -	2009-06-16 07:36:48 +00:00