<?php // $Id$

$string['responsesoptions'] = 'Responses options';
$string['responsestitle'] = 'Detailed responses';
$string['pagesize'] = 'Attempts per page: ';
$string['reportresponses'] = 'Detailed responses';
?>
