# HG changeset patch
# User Wuzzy
# Date 1525297818 -3600
# Node ID 60d456e83554d648a862dc0d5768be6a492772d3
# Parent  10c8702d2398fada3175bb6c19df78bcccab48de
LuaLibraryLocale: Edited via web interface

diff -r 10c8702d2398 -r 60d456e83554 LuaLibraryLocale.wiki
--- a/LuaLibraryLocale.wiki	Wed May 02 22:50:02 2018 +0100
+++ b/LuaLibraryLocale.wiki	Wed May 02 22:50:18 2018 +0100
@@ -1,4 +1,4 @@
-#summary Lua library documentation: Locale
+#summary Lua library documentation; Locale
 #labels LuaLibrary
 
 = Lua library: `Locale` =