3 Commits

Author	SHA1	Message	Date
Adam Stankiewicz	1597b7b766	Change plugin guard for disabling, fixes #371	2019-03-04 09:28:35 +01:00
Adam Stankiewicz	84593f2d7f	Update	2016-05-13 16:10:17 +02:00
Adam Stankiewicz	76d23a21e6	Add cryptol syntax, closes #107	2016-05-02 10:44:59 +02:00