Merge pull request #1 from arc-framework/develop#2

dgtalbug wants to merge 1 commit into

developarc-framework/arc-docs:developfrom

mainarc-framework/arc-docs:mainCopy head branch name to clipboard