mkmizuta/pea-patch-planner — pull request #33 by roseaboveit (2014-02-21 23:44:38+00:00)
Title: Tool checkout

I just realized that I haven't taken into account that when a tool is checked out it needs to no longer be available for others to check out. I'm going to work on that now but figured it would be good to push what I have in case you all get done with other things and want to make stuff prettier.