| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| configuration.ini | 2017-06-23 05:34 | 2.4K | ||
| editor_plugin.js | 2017-06-23 05:34 | 22K | ||
| editor_plugin_src.js | 2017-06-23 05:34 | 22K | ||
| plugin.js | 2017-06-23 05:34 | 22K | ||
| plugin.min.js | 2017-06-23 05:34 | 22K | ||
| tech.txt | 2017-06-23 05:34 | 4 | ||
| test.html | 2017-06-23 05:34 | 6.7K | ||
| VERSION | 2017-06-23 05:34 | 10 | ||
| wirisplugin-generic.js | 2017-06-23 05:34 | 10K | ||
| integration/ | 2017-06-23 05:36 | - | ||
| tests/ | 2017-06-23 05:36 | - | ||
| core/ | 2022-12-15 19:59 | - | ||
| generic_wiris/ | 2022-12-15 19:59 | - | ||
| icons/ | 2022-12-15 19:59 | - | ||
| lang/ | 2022-12-15 19:59 | - | ||