From f9e8ad3d0b7cb9002976647a5bfcf60fb6dbd45c Mon Sep 17 00:00:00 2001
From: Eric Lippmann <eric.lippmann@netways.de>
Date: Tue, 29 Jul 2014 11:45:16 +0200
Subject: [PATCH] doc: Remove 'locale' directory

Since #6432 has been fixed, the empty locale directory can be removed.

refs #4820
---
 modules/doc/application/locale/.gitkeep | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 modules/doc/application/locale/.gitkeep

diff --git a/modules/doc/application/locale/.gitkeep b/modules/doc/application/locale/.gitkeep
deleted file mode 100644
index 9fc47527c..000000000
--- a/modules/doc/application/locale/.gitkeep
+++ /dev/null
@@ -1 +0,0 @@
-Remove this file and the locale directory once #6432 has been fixed.