From ac9d8e26fabc8c6152b7044364e8293d409ef5d5 Mon Sep 17 00:00:00 2001
From: Tobias Maier <me@maiertobi.de>
Date: Wed, 26 Oct 2022 22:11:32 +0200
Subject: [PATCH] Update 'zsh/dotty.json'

---
 zsh/dotty.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/zsh/dotty.json b/zsh/dotty.json
index ed8f6d7..b745b49 100644
--- a/zsh/dotty.json
+++ b/zsh/dotty.json
@@ -1,4 +1,4 @@
 {"name": "zsh", "files":[
     {"src": ".zshrc", "dest": "{{home}}/.zshrc"},
-    {"src": ".p10k.zsh", "dest": "{{home}}/.p10k.zsh"},
+    {"src": ".p10k.zsh", "dest": "{{home}}/.p10k.zsh"}
 ]}
\ No newline at end of file