Install config.h with other headers
authorAndrew Waterman <waterman@cs.berkeley.edu>
Tue, 10 Feb 2015 01:42:19 +0000 (17:42 -0800)
committerAndrew Waterman <waterman@cs.berkeley.edu>
Tue, 10 Feb 2015 01:42:19 +0000 (17:42 -0800)
commit27ade6f5446bdab972b6dfcee6587defb14e807b
tree666b8145eb8bd13180a9ceb620dd8b492b7a2c76
parente671e751982cfa065bb6430a0b5b33cd5f9ddfec
Install config.h with other headers
Makefile.in