commit d2b0f115a020eba6628f8838d89cf67c97037143 Merge: 73bfd44 89a2807 0626b83 73bfd44 Author: Chuck Anderson <cra at wpi.edu> Date: Mon Aug 9 00:32:54 2010 -0400 Initial pseudo merge for dist-git setup ---