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)
1  2 
rules/build-package-data.mk

Simple merge