diff options
author | P. J. McDermott <pjm@nac.net> | 2012-08-29 22:27:05 (EDT) |
---|---|---|
committer | P. J. McDermott <pjm@nac.net> | 2012-08-29 22:27:31 (EDT) |
commit | 6816a11533d7cf72a44928e83dc6a8de8a71fe40 (patch) | |
tree | 58fe14e5ee65dc74189643ae07ab149032d02753 /include/header.html | |
parent | e8010f4611a7e0eeb36cc156a0fb62a1e915ba96 (diff) |
Make binary package install files optional.
At some point, they may be deemed beyond the scope of the specification
and removed entirely.
Diffstat (limited to 'include/header.html')
0 files changed, 0 insertions, 0 deletions