From 6e76b396966a03bf87cd59f6829cdc638435e0f1 Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Tue, 22 Oct 2013 16:54:09 +0200
Subject: [PATCH] jzlib was missing from required_for_dist

---
 lib/required_for_dist.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/required_for_dist.txt b/lib/required_for_dist.txt
index 4748fbdd671c..111f8821205a 100644
--- a/lib/required_for_dist.txt
+++ b/lib/required_for_dist.txt
@@ -27,6 +27,7 @@ jsr166e.jar
 jsr173_1.0_api.jar
 junit-4.10.jar
 junit.jar
+jzlib-1.1.1.jar
 log4j.jar
 markdownj-core-0.4.2-SNAPSHOT.jar
 microba.jar