From 3e705802161e5b9a7b9865ed0b385d0716dcf504 Mon Sep 17 00:00:00 2001 From: diml Date: Mon, 7 Apr 2008 20:43:30 +0000 Subject: [PATCH] file CaseInsensitive.php was added on branch MOODLE_18_STABLE on 2008-04-07 21:23:14 +0000