diff options
Diffstat (limited to 'playground/server.yaml')
| -rw-r--r-- | playground/server.yaml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/playground/server.yaml b/playground/server.yaml index 0ebc807..701f995 100644 --- a/playground/server.yaml +++ b/playground/server.yaml @@ -1 +1,3 @@ -repos: {} +repos: + hat-util: + url: ../../hat/hat-util |