tree f9863954855af385b163e501df06c3a8b989b3d5
parent f3872f2d73c80f778b2041d5c14db31b1a9decd4
author Davide Pesavento <davidepesa@gmail.com> 1694738102 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1694739007 -0400

build: move `config.hpp` private header to `detail` subdir

Change-Id: I9f3bb2e288450f002ecec77b52411647ed4fea5a