From 9b3ae0ed2d34c4c68286efde3dbf19b6f3db55e9 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 17 Aug 2016 14:07:57 +0200
Subject: [PATCH] Add repos/world to .gitignore

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

diff --git a/.gitignore b/.gitignore
index de076f095f..8481ae2a54 100644
--- a/.gitignore
+++ b/.gitignore
@@ -35,4 +35,5 @@
 /repos/qt4/tool/qmake/qmake
 /repos/qt4/tool/rcc
 /repos/qt4/tool/uic
+/repos/world