<?PHP // $Id: gradeexport_txt.php 68 2009-07-31 18:23:01Z dlandau $

$string['modulename'] = 'Plain text file';
$string['txt:view'] = 'Use text grade export';
$string['txt:publish'] = 'Publish TXT grade export';

?>
