| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| plugin.min.js | 2017-06-23 11:04 | 22K | ||
| plugin.js | 2017-06-23 11:04 | 22K | ||
| editor_plugin_src.js | 2017-06-23 11:04 | 22K | ||
| editor_plugin.js | 2017-06-23 11:04 | 22K | ||
| wirisplugin-generic.js | 2017-06-23 11:04 | 10K | ||
| test.html | 2017-06-23 11:04 | 6.7K | ||
| configuration.ini | 2017-06-23 11:04 | 2.4K | ||
| VERSION | 2017-06-23 11:04 | 10 | ||
| tech.txt | 2017-06-23 11:04 | 4 | ||
| tests/ | 2017-06-23 11:06 | - | ||
| lang/ | 2023-12-26 08:55 | - | ||
| integration/ | 2017-06-23 11:06 | - | ||
| icons/ | 2023-12-26 08:55 | - | ||
| generic_wiris/ | 2023-12-26 08:55 | - | ||
| core/ | 2023-12-26 08:55 | - | ||