plugin:syntaxmantis
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Last revisionBoth sides next revision | ||
plugin:syntaxmantis [2019-01-07 13:44] – rattkin | plugin:syntaxmantis [2019-01-07 13:44] – 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.txt · Last modified: 2021-04-02 09:43 by rattkin