Merge pull request #272 from rosenhouse/types-of-users
authorTom Denham <tom@tomdee.co.uk>
Mon, 25 Jul 2016 23:35:58 +0000 (16:35 -0700)
committerGitHub <noreply@github.com>
Mon, 25 Jul 2016 23:35:58 +0000 (16:35 -0700)
README: distinguish between runtimes and plugins


Trivial merge