Issue 807: use nicer indentation for lambda functions - Fast Downward issue tracker

Title	use nicer indentation for lambda functions
Priority	wish	Status	resolved
Superseder		Nosy List	jendrik, malte, thomas
Assigned To	jendrik	Keywords
Optional summary

Created on 2018-07-10.15:59:34 by jendrik, last changed by thomas.

Messages
msg7297 (view)	Author: jendrik	Date: 2018-07-10.16:26:29
Merged.
msg7296 (view)	Author: malte	Date: 2018-07-10.16:08:50
Looks good to me. Feel free to merge.
msg7295 (view)	Author: jendrik	Date: 2018-07-10.16:03:19
I made a pull request at https://bitbucket.org/jendrikseipp/downward/pull-requests/98 .
msg7294 (view)	Author: jendrik	Date: 2018-07-10.15:59:34
This is a follow-up from issue801.

History
Date	User	Action	Args
2018-07-10 16:26:58	thomas	set	nosy: + thomas
2018-07-10 16:26:29	jendrik	set	status: reviewing -> resolved messages: + msg7297
2018-07-10 16:08:50	malte	set	messages: + msg7296
2018-07-10 16:03:19	jendrik	set	status: in-progress -> reviewing messages: + msg7295
2018-07-10 15:59:34	jendrik	create