From f758ec1ae301813374dc07372fb5ef976a7580e0 Mon Sep 17 00:00:00 2001
From: Song Minjae <alswo9628@gmail.com>
Date: Mon, 28 Nov 2016 00:13:19 +0900
Subject: [PATCH] gitignored workspace.xml

Former-commit-id: d71b18b22c7dab89ef6290d7789e154303f0eaa1
Former-commit-id: 42a818012e269afffa856452c2e1bc4509b2b1bc
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 1ad6c642c..a682ff85e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 out/*
 bin/*
 hs_err_pid*
+/.idea/workspace.xml