1<?php
2/**
3 * english language file
4 *
5 * @license    GPL 2 (http://www.gnu.org/licenses/gpl.html)
6 * @author    Yamada, M. <yamadam@mizar.work>
7 */
8
9 $lang['mizar_work_dir'] = 'Mizar work directory (includes subdirectories like TEXT, DICT, and PREL)';
10 $lang['mizar_share_dir'] = 'Mizar shared files directory';
11 $lang['mizar_exe_dir'] = 'Mizar executables directory';