From b1d01d96bb7923787987d44a8d7f41b88cf3b60b Mon Sep 17 00:00:00 2001 From: Chizi123 <joelgrun@gmail.com> Date: Tue, 19 Feb 2019 08:23:53 +0000 Subject: [PATCH] Added reftex and some minor changes --- .gitignore | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/.gitignore b/.gitignore index 6ba6e68..1aa0467 100644 --- a/.gitignore +++ b/.gitignore @@ -12,4 +12,5 @@ projectile-bookmarks.eld projectile.cache recentf -irony*/ \ No newline at end of file +irony*/ +server/ \ No newline at end of file -- Gitblit v1.9.3