Merge remote-tracking branch 'origin/master' into pretty-build
authorIavor S. Diatchki <diatchki@galois.com>
Fri, 27 Apr 2012 20:28:20 +0000 (13:28 -0700)
committerIavor S. Diatchki <diatchki@galois.com>
Fri, 27 Apr 2012 20:28:20 +0000 (13:28 -0700)
commit7befd215db8272ec6301abf1a05e6347da5d3ec8
tree1fd2bf5323c1656d7ba81ac227b139fce53f0612
parentd209588a40928e21a253bc9341689b5174c00cfc
parent753360701b115747140a4056dbf1e126059aa8ef
Merge remote-tracking branch 'origin/master' into pretty-build
rules/build-package-data.mk