Eric Lippmann f9e8ad3d0b doc: Remove 'locale' directory
Since #6432 has been fixed, the empty locale directory can be removed.

refs #4820
2014-07-29 11:45:16 +02:00
..