From 89600ce15fe7a89d2a30c4692630aca3ed55dc00 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Sun, 26 Jan 2003 16:59:39 +0000
Subject: [PATCH] Don't need this either

---
 lang/de/docs/files.php | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 lang/de/docs/files.php

diff --git a/lang/de/docs/files.php b/lang/de/docs/files.php
deleted file mode 100644
index 85af408ef6..0000000000
--- a/lang/de/docs/files.php
+++ /dev/null
@@ -1,18 +0,0 @@
-<?PHP // $Id$
-      // Names of the documentation files
-
-$string['intro.html'] = "Introduction";
-$string['background.html'] = "Background";
-$string['features.html'] = "Features";
-$string['release.html'] = "Release Notes";
-$string['install.html'] = "Installation";
-$string['upgrade.html'] = "Upgrading";
-$string['teacher.html'] = "Teacher Manual";
-$string['developer.html'] = "Developer Manual";
-$string['cvs.html'] = "Using CVS";
-$string['future.html'] = "Future";
-$string['credits.html'] = "Credits";
-$string['licence.html'] = "License";
-
-
-?>
-- 
2.39.5