diff options
author | wm4 <wm4@nowhere> | 2014-12-11 01:04:15 +0100 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2014-12-11 01:04:15 +0100 |
commit | d054289f668499d6acea307f14c62d44d35b6840 (patch) | |
tree | d01cd9f4195e0339cd6ee3aedd164d51c4742ebb /misc/rendezvous.h | |
parent | eb36bd6945bad1ddc80663f7b8d3fe95db3ca284 (diff) |
options: add slightly more sophistcated mechanism for option deprecation
Diffstat (limited to 'misc/rendezvous.h')
0 files changed, 0 insertions, 0 deletions