Changed arrow heads to full small arrows#25

Merged

adrianvlupu merged 2 commits intoplantuml-stdlib:masterfrom

mgrolinger:master

Nov 28, 2020

Commits on Jul 31, 2019

using dashed arrows and full arrowheads, which are more similar to the original appearance

Michael Grolinger
authored and
mgrolinger
committed
using full arrow heads to be more aligned to the original graphics
mgrolinger
committed