From 420b43c2ac553d1c99b10bd1d5aba948c12bd803 Mon Sep 17 00:00:00 2001
From: martimavocado <39881008+martimavocado@users.noreply.github.com>
Date: Sun, 16 Jun 2024 23:33:04 +0100
Subject: Feature: Add player highlighting for the Punchcard Artifact (#1089)

Co-authored-by: hannibal2 <24389977+hannibal00212@users.noreply.github.com>
---
 .idea/dictionaries/default_user.xml | 1 +
 1 file changed, 1 insertion(+)

(limited to '.idea/dictionaries')

diff --git a/.idea/dictionaries/default_user.xml b/.idea/dictionaries/default_user.xml
index db558db8d..574a90453 100644
--- a/.idea/dictionaries/default_user.xml
+++ b/.idea/dictionaries/default_user.xml
@@ -155,6 +155,7 @@
             <w>polarvoid</w>
             <w>preinitialization</w>
             <w>procs</w>
+            <w>punchcard</w>
             <w>pyrochaos</w>
             <w>quazii</w>
             <w>rclick</w>
-- 
cgit