From 228d5ecb07ec5c3de88b64be2d178f4c598394de Mon Sep 17 00:00:00 2001 From: tjhunt Date: Wed, 7 Nov 2007 12:35:09 +0000 Subject: [PATCH] Eliminate duplicate $Id$ tag. --- mod/quiz/attempt.php | 19 +++++++++---------- mod/quiz/comment.php | 11 +++++------ 2 files changed, 14 insertions(+), 16 deletions(-) diff --git a/mod/quiz/attempt.php b/mod/quiz/attempt.php index 4a0c21794f5..3070e216408 100644 --- a/mod/quiz/attempt.php +++ b/mod/quiz/attempt.php @@ -1,15 +1,14 @@