From bd3982f29d9fcc05727a4b9f1665694770ee75e0 Mon Sep 17 00:00:00 2001
From: Lorenzo Caminiti <lorcaminiti@gmail.com>
Date: Wed, 4 Jul 2012 21:54:13 +0000
Subject: Fixing broken doc links (removing mixed capitals from HTML file
 names).

[SVN r79272]
---
 libs/local_function | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'libs')

diff --git a/libs/local_function b/libs/local_function
index 130a377683..6c2a7f1f4d 160000
--- a/libs/local_function
+++ b/libs/local_function
@@ -1 +1 @@
-Subproject commit 130a37768308a9fa87b5dbf891efa3e85448e5c5
+Subproject commit 6c2a7f1f4d6424bfd5379333a93280bbe33ae887
-- 
cgit v1.2.1