tree 211a206364effbaa92f1a00d826d3f7c59e7c2c3
parent a6a4e23b092977230c759f1d05948ade9c2e0fb2
author Andy Bavier <acb@cs.princeton.edu> 1461262621 -0400
committer Andy Bavier <acb@cs.princeton.edu> 1461262621 -0400

Fix issues with 'make cord' in devel environment