From 0572612601d2d26b61020ff6650c06df27ee76ee Mon Sep 17 00:00:00 2001 From: Petr Skoda Date: Tue, 17 Nov 2009 08:45:57 +0000 Subject: [PATCH] file core.write_compiled_include.php was added on branch MOODLE_18_STABLE on 2009-11-17 08:56:49 +0000