JoachimSchipper

Member since Dec 29, 2013

Recent Docs Activity

Page	Date	Comment
Setting up an extension development environment Edit page View complete diff View page history	Dec 29, 2013 4:13:40 AM	Tell people where to find preferences before telling them which preferences to set
Setting up an extension development environment Edit page View complete diff View page history	Dec 29, 2013 4:08:56 AM	Clarify; in particular, Developer Profile does set all listed options
Setting up an extension development environment Edit page View complete diff View page history	Dec 29, 2013 4:05:58 AM	Running "real" and "dev" profiles Just Works, so simplify description
Setting up an extension development environment Edit page View complete diff View page history	Dec 29, 2013 4:04:53 AM	Running
Setting up an extension development environment Edit page View complete diff View page history	Dec 29, 2013 3:49:42 AM	"-P dev" opens profile selection screen the first time; say so.