16b7e227cSYamadaMiz<?php 26b7e227cSYamadaMiz/** 3*f9af2148SYamadaMiz * english language file 46b7e227cSYamadaMiz * 5*f9af2148SYamadaMiz * @license GPL 2 (http://www.gnu.org/licenses/gpl.html) 6*f9af2148SYamadaMiz * @author Yamada, M. <yamadam@mizar.work> 76b7e227cSYamadaMiz */ 86b7e227cSYamadaMiz 96b7e227cSYamadaMiz $lang['mizar_work_dir'] = 'Mizar work directory (includes subdirectories like TEXT, DICT, and PREL)'; 106b7e227cSYamadaMiz $lang['mizar_share_dir'] = 'Mizar shared files directory'; 116b7e227cSYamadaMiz $lang['mizar_exe_dir'] = 'Mizar executables directory';