Docsite: add info on how to run the IRS demo and rename the demos section

This commit is contained in:
Mike Hearn
2016-04-18 19:44:21 +02:00
parent d08f7905df
commit 45e89fe4ad
26 changed files with 464 additions and 329 deletions

File diff suppressed because one or more lines are too long