Issue 417: Make the buildbot update the automatically generated wiki documentation - Fast Downward issue tracker

Title	Make the buildbot update the automatically generated wiki documentation
Priority	feature	Status	resolved
Superseder		Nosy List	florian, jendrik, malte
Assigned To	jendrik	Keywords
Optional summary

Created on 2014-02-07.20:11:44 by florian, last changed by jendrik.

Messages
msg2990 (view)	Author: jendrik	Date: 2014-02-22.10:24:27
I think everything is done. Closing this.
msg2989 (view)	Author: florian	Date: 2014-02-22.09:37:03
Is there anything else to do here? If not, we should close the issue.

History
Date	User	Action	Args
2014-02-22 10:24:27	jendrik	set	status: reviewing -> resolved messages: + msg2990
2014-02-22 09:37:03	florian	set	status: unread -> reviewing messages: + msg2989
2014-02-08 13:37:15	jendrik	set	assignedto: jendrik
2014-02-08 13:36:26	jendrik	link	issue418 superseder
2014-02-07 20:11:44	florian	create