diff options
author | John MacFarlane <jgm@berkeley.edu> | 2016-11-18 21:22:34 +0100 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2016-11-18 21:23:02 +0100 |
commit | da380e005356f26090606fd7ea2f85aaa858bd5d (patch) | |
tree | aaca15af06d5d009b37aa0d07e599f500cb09276 /man | |
parent | cc625a9bbc0be974b1d12dd3d9c202ea47f78f72 (diff) |
Set policy for CMP0063 to avoid a warning.
See #162.
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions