lspector/Clojush — pull request #22 by thelmuth (2012-09-14 14:10:37+00:00)
Title: Changed argument from "print" to "print-steps" to avoid name conflict.

Should merge easily. BTW Lee: Are you deleting the feature branches from origin when you are done merging them (step 12)? Feel free to do so to keep the repo cleaner. I just deleted the update-gitignore branch. If old GitHub branches are still appearing when you type $git branch -a, then you can make git forget about them with

$ git remote prune origin