@@ -1,13 +0,0 @@
-<?php
-/**
-==============================================================================
-* This file tells which version of Dokeos is currently installed, and
-* whether this is a stable version or not.
-*
-* @package dokeos.include
-*/
-
-$stable = true;
-$dokeos_version = "1.8.3";
-?>