project: do not require Docker plugin to be installed

This commit is contained in:
Yann Cébron 2019-03-26 11:01:11 +01:00
parent 651cfb5073
commit bc36e9ad48

View File

@ -2,7 +2,6 @@
<project version="4">
<component name="ExternalDependencies">
<plugin id="DevKit" />
<plugin id="Docker" />
<plugin id="org.jetbrains.idea.grammar" />
<plugin id="org.jetbrains.kotlin" />
<plugin id="org.jetbrains.plugins.gradle" />