rename integration demo

This commit is contained in:
Mike J Innes 2016-10-29 00:13:11 +01:00
parent e807fc5c61
commit 65e22210f6