diff options
author | tv <tv@krebsco.de> | 2023-09-27 11:27:26 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2023-09-27 11:27:26 +0200 |
commit | acdf326c225ccace51e9b5f7fd1e1fdf51b2a6e1 (patch) | |
tree | 29b3b7f80c44ff80d9b878ed91f2110eca0e60b2 /kartei/krebs/default.nix | |
parent | 579c68e876e3a2134bff91b1d949930b15f12a4c (diff) | |
parent | 0215fbddccf206801d94f52518cbfec91ccc3cc5 (diff) |
Merge remote-tracking branch 'orange/master'
Diffstat (limited to 'kartei/krebs/default.nix')
-rw-r--r-- | kartei/krebs/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kartei/krebs/default.nix b/kartei/krebs/default.nix index bbf6a74f..6c5c86ea 100644 --- a/kartei/krebs/default.nix +++ b/kartei/krebs/default.nix @@ -77,6 +77,7 @@ in { aliases = [ "hotdog.r" "agenda.r" + "bedge.r" "kri.r" "build.r" "build.hotdog.r" |