tree 98e2949ad1cd0f6a14f2feee54dfe7036215d916
parent 2c1d349bdb9a1f7b2a0b07ea11e6f24650bde6cd
author Junxiao Shi <git@mail1.yoursunny.com> 1544590035 +0000
committer Junxiao Shi <git@mail1.yoursunny.com> 1544590035 +0000

impl: rename 'detail' to 'impl'

'impl' directory contains implementation-detail headers that are NOT
installed. 'detail' directory will be used for implementation-detail
headers that ARE installed.

refs #4782

Change-Id: I13428e032c93207753a6b856c693511c4fc3bbb8