plugin:syntaxmantis
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| plugin:syntaxmantis [2019-01-07 13:44] – rattkin | plugin:syntaxmantis [2021-04-02 09:43] (current) – rattkin | ||
|---|---|---|---|
| Line 7: | Line 7: | ||
| type : syntax | type : syntax | ||
| lastupdate : 2017-09-04 | lastupdate : 2017-09-04 | ||
| - | compatible : Hrun, | + | compatible : Hrun, |
| depends | depends | ||
| conflicts | conflicts | ||
plugin/syntaxmantis.1546865067.txt.gz · Last modified: 2019-01-07 13:44 by rattkin