[GitHub] incubator-griffin pull request #134: Document of demo docker

Github user bhlx3lyx7 closed the pull request at: https://github.com/apache/incubator-griffin/pull/134 ---

[GitHub] incubator-griffin pull request #134: Document of demo docker

GitHub user bhlx3lyx7 opened a pull request: https://github.com/apache/incubator-griffin/pull/134 Document of demo docker You can merge this pull request into a Git repository by running: $ git pull https://github.com/bhlx3lyx7/incubator-griffin dsl-modify Alternatively you c