diff options
author | tv <tv@krebsco.de> | 2022-12-09 14:33:18 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2022-12-09 14:33:18 +0100 |
commit | 14e18bc0bed4dbca74142d9e3d8267da41e55f18 (patch) | |
tree | 130c8da62253b537ffc125196da9a28fe6504444 /kartei | |
parent | 581c20be8f792d48d54465e27845aa184c5677bd (diff) | |
parent | 48ee52673e79f46e53fbfd86a9258a1a106d8ffc (diff) |
Merge remote-tracking branch 'kmein/master'
Diffstat (limited to 'kartei')
-rw-r--r-- | kartei/kmein/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kartei/kmein/default.nix b/kartei/kmein/default.nix index 39125e35c..1a5a57d1a 100644 --- a/kartei/kmein/default.nix +++ b/kartei/kmein/default.nix @@ -82,6 +82,8 @@ in "makanek.r" "makanek.kmein.r" "grafana.kmein.r" + "alertmanager.kmein.r" + "prometheus.kmein.r" "names.kmein.r" "graph.r" "rrm.r" |