-
Alessandro Rubini authored
This adds the "repo_url" and "synthesis" records, that are already used in one of your projects. Thanks to Matthieu Cattin for his help in designing the structures and actually implementing them. Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
8576e1d9