TideSDK/TideSDK — pull request #60 by motin (2012-11-13 14:29:58+00:00)
Title: Enabling the --ignore option in tidebuilder.py

(TideSDK Developer depends on the --ignore option to not generate ever-increasing app packages)