diff options
author | Tom Hubrecht <github@mail.hubrecht.ovh> | 2024-05-28 11:52:13 +0200 |
---|---|---|
committer | Tom Hubrecht <github@mail.hubrecht.ovh> | 2024-05-29 09:54:47 +0200 |
commit | 6b5078c81554ddb36547f8c41805cc94b7738396 (patch) | |
tree | 0e0c3552d9d397920326b6e21cff278c4b272935 /src/libstore/ssh.hh | |
parent | 81bdf8d2d672e135e68745e6975ad5edafadf13a (diff) |
util.{hh,cc}: Split out file-system.{hh,cc}
Change-Id: Ifa89a529e7e34e7291eca87d802d2f569cf2493e
Diffstat (limited to 'src/libstore/ssh.hh')
-rw-r--r-- | src/libstore/ssh.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libstore/ssh.hh b/src/libstore/ssh.hh index 94b952af9..0802c6cc0 100644 --- a/src/libstore/ssh.hh +++ b/src/libstore/ssh.hh @@ -1,6 +1,7 @@ #pragma once ///@file +#include "file-system.hh" #include "util.hh" #include "sync.hh" |