mirror of
https://github.com/darverdevs/PluginInstaller.git
synced 2024-10-18 02:56:00 -07:00
12 lines
321 B
XML
12 lines
321 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<module version="4">
|
|
<component name="FacetManager">
|
|
<facet type="minecraft" name="Minecraft">
|
|
<configuration>
|
|
<autoDetectTypes>
|
|
<platformType>BUKKIT</platformType>
|
|
</autoDetectTypes>
|
|
</configuration>
|
|
</facet>
|
|
</component>
|
|
</module> |