Update of GitHub screenshots #266
Conversation
There was a problem hiding this comment.
Arrow head formatting ?
There was a problem hiding this comment.
Can we fix the arrow heads like the previous version
There was a problem hiding this comment.
I shared another variant on Zulip. Not identical but with slightly elongated arrow head. Can we go for that one?
There was a problem hiding this comment.
Yes the zulip variant is good. Thanks!
There was a problem hiding this comment.
Thank you! Then I will revise all figures in the same style.
There was a problem hiding this comment.
fixed in the last commit
There was a problem hiding this comment.
Thanks! @johanhellsvik Can we delete the svg files or you want to keep them too?
There was a problem hiding this comment.
Thank you! I put the svg files there intentionally and suggest we keep them.
There was a problem hiding this comment.
Thanks, then I will merge it.
Updated GitHub screenshots. This in order to reflect how these GitHub pages/panels are looking currently.
Note that 'master' is used as the base name in some of the repositories for which screenshots were made.
Closes #254