diff options
author | Tom Hubrecht <github@mail.hubrecht.ovh> | 2024-05-28 16:01:11 +0200 |
---|---|---|
committer | Tom Hubrecht <github@mail.hubrecht.ovh> | 2024-05-29 11:41:16 +0200 |
commit | 8b6d2d39155e88250c576571a1251769b926ee83 (patch) | |
tree | 3b9c895f87c63b879be7086cdde2773a9fe28470 /src/build-remote | |
parent | f79ee66646f66e5117583bcf9a579b7f538ca8bb (diff) |
util.{hh,cc}: Split out namespaces.{hh,cc}
Change-Id: I8fd3f3b50c15ede29d489066b4e8d99c2c4636a6
Diffstat (limited to 'src/build-remote')
0 files changed, 0 insertions, 0 deletions