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)
commitc1ff202179dc15839825bed39e59d40b1c08a469
tree3518c1645774ac33b4b41d6d9cc51e46ded7d269
parent39a8fe476638e5ff315bb879e498c46ff842f242
parent424a8b38cf214df721839006a0bbec71174aeab7
Merge pull request #272 from rosenhouse/types-of-users

README: distinguish between runtimes and plugins