From 54e9aeffa7041b57acb8230d9689fd5ae35c2ee7 Mon Sep 17 00:00:00 2001
From: Anton Lavrenov <lavrton@gmail.com>
Date: Thu, 24 Jan 2019 08:46:54 -0500
Subject: [PATCH] ignore types in git

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index fcc0a392..63b7372e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,6 +14,7 @@ lib
 src_old
 *.zip
 *_cache
+types
 
 # Numerous always-ignore extensions
 *.diff