From 2fc1a7f6c2346cc3ef8c5e92367fe50e0242a35a Mon Sep 17 00:00:00 2001
From: Alexander Medvednikov <alexander@medvednikov.com>
Date: Sun, 22 Dec 2024 15:12:06 +0300
Subject: [PATCH] document grep_file_extensions

---
 welcome.txt | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/welcome.txt b/welcome.txt
index 56508c2..9087f5e 100644
--- a/welcome.txt
+++ b/welcome.txt
@@ -59,3 +59,13 @@ y d p J         yank, delete, paste, join lines
 gg G            go to the beginning/end of the file
 x r             delete/replace character under cursor
 C-n             autocomplete
+
+### .ved configuration file for each workspace
+Add a `.ved` json config file to the root of your workspace. Right now it supports the following options:
+
+```json
+{
+	"grep_file_extensions": ["go", "v"] // File extensions that git grep should search in. Everything else is ignored.
+}
+```
+