Eyck Jentzsch 7360fcea2c add note about plugins

2021-12-11 10:54:42 +01:00

assets/img

add icon

2021-11-18 11:35:28 +01:00

repository

add version 2.15.1

2021-12-02 17:57:50 +01:00

_config.yml

update config

2021-11-18 13:12:08 +01:00

.gitignore

add .gitignore

2021-11-28 11:39:36 +01:00

index.md

add note about plugins

2021-12-11 10:54:42 +01:00

Description

No description provided

240 MiB

Languages

F* 90.1%

Java 5.4%

C 4.4%