Issue832

Title Rework relation Registry-DocStore for documentation
Priority feature Status resolved
Superseder Nosy List cedric, jendrik, malte, patfer, salome
Assigned To patfer Keywords
Optional summary

Created on 2018-09-19.16:43:16 by patfer, last changed by patfer.

Messages
msg7682 (view) Author: patfer Date: 2018-09-20.23:01:30
Mered
msg7652 (view) Author: malte Date: 2018-09-20.16:28:53
Agreed, I think this can be merged.
msg7648 (view) Author: salome Date: 2018-09-20.15:28:15
I had a look at the code, seems good to me.
msg7634 (view) Author: patfer Date: 2018-09-20.12:54:33
PR ready for review:
https://bitbucket.org/PatFer/downward/pull-requests/6/issue832/diff
msg7589 (view) Author: patfer Date: 2018-09-19.16:43:16
Rework how those two are used and who stores what. The DocPrinter is currently
using both to generate the docs.
History
Date User Action Args
2018-09-20 23:01:30patfersetstatus: reviewing -> resolved
messages: + msg7682
2018-09-20 16:28:54maltesetmessages: + msg7652
2018-09-20 15:28:15salomesetnosy: + salome
messages: + msg7648
2018-09-20 12:54:33patfersetstatus: unread -> reviewing
messages: + msg7634
2018-09-19 16:43:16patfercreate