2 commits

Author	SHA1	Message	Date
Cosimo Lupo	950a7dfda7	remove unreferenced <symbol> elements with no 'id' attribute ... These are not (and cannot be) used inside <use> elements since they have no id; they are unused leftovers from the design process.	2020-06-10 18:05:44 +01:00
Qingqing Deng	31f714f349	Update svg for 2019.	2019-07-02 17:44:36 -07:00