Learn more about these different git repos.
Other Git URLs
Issue #383 added a dump of used configuration in the same format as input. That is great, however it does not actually work that well if the input file is including some other file. The dump is not complete in that case. We really need both.
@lsedlar changed the status to Fixed
Fixed
Log in to comment on this ticket.