1<?php
2/**
3 * Options for the Mizar Verifiable Docs Plugin
4 *
5 * @author Yamada, M. <yamadam@mizar.work>
6 */
7
8 $meta['mizar_work_dir'] = array('string');
9 $meta['mizar_share_dir'] = array('string');
10 $meta['mizar_exe_dir'] = array('string');
11
12$meta['py_cmd'] = array('string');
13