Rename HTTP Feature into REST#189

raphael-goetz merged 2 commits intomaincode0-tech/code0-definition:mainfrom

176-rename-http-to-restcode0-tech/code0-definition:176-rename-http-to-restCopy head branch name to clipboard