Merge pull request #53 from nlewycky/patch-1

Fix coproduct_external.svg.
This commit is contained in:
abuseofnotation 2023-11-20 04:18:08 +02:00 committed by GitHub
commit fd2d8d861d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -13,8 +13,7 @@
xmlns:svg="http://www.w3.org/2000/svg" xmlns:svg="http://www.w3.org/2000/svg"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:cc="http://creativecommons.org/ns#" xmlns:cc="http://creativecommons.org/ns#"
xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dc="http://purl.org/dc/elements/1.1/">
xmlns:ns="&ns_ai;">
<metadata <metadata
id="metadata2853"> id="metadata2853">
<rdf:RDF> <rdf:RDF>
@ -52,7 +51,6 @@
inkscape:pagecheckerboard="0" inkscape:pagecheckerboard="0"
inkscape:deskcolor="#d1d1d1" /> inkscape:deskcolor="#d1d1d1" />
<g <g
ns:extraneous="self"
id="g2845" id="g2845"
transform="matrix(0.80243696,0,0,0.80243696,57.182648,9.227506)"> transform="matrix(0.80243696,0,0,0.80243696,57.182648,9.227506)">
<circle <circle

Before

Width:  |  Height:  |  Size: 5.6 KiB

After

Width:  |  Height:  |  Size: 5.6 KiB