+git pull
Merge branch 'jibux' of https://github.com/Jibux/JSMiniGame into jibux
correct !#/bin/bash
suppress git scripts
Merge branch 'master' into nico