diff options
Diffstat (limited to 'dhall/server/service/plugin/package.dhall')
| -rw-r--r-- | dhall/server/service/plugin/package.dhall | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/dhall/server/service/plugin/package.dhall b/dhall/server/service/plugin/package.dhall index 872c53b..c231bc6 100644 --- a/dhall/server/service/plugin/package.dhall +++ b/dhall/server/service/plugin/package.dhall | |||
| @@ -1,6 +1 @@ | |||
| 1 | { Type = ./Plugin.dhall | { Type = ./Plugin.dhall, functions = ./functions.dhall } | |
| 2 | , mkRequestTermination = ./mkRequestTermination.dhall | ||
| 3 | , mkRequestTransformer = ./mkRequestTransformer.dhall | ||
| 4 | , mkIPRestriction = ./mkIPRestriction.dhall | ||
| 5 | , correlationId = ./correlationId.dhall | ||
| 6 | } | ||