From 634138cd3b8e980d461e9d4440ed4875f08155ef Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Mon, 29 Jul 2019 11:36:37 +0530
Subject: [PATCH] Removed unused entry from .gitignore

Fixes #1859

tags is the file generated by ctags
---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index a6cd03bca..b213b62c3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,7 +10,6 @@ link_commands.json
 glad/out
 kitty/launcher
 *.dSYM
-dev
 __pycache__
 glfw/wayland-*-client-protocol.[ch]
 docs/_build