minecraft/Essentials
1
0
Fork 0
mirror of https://github.com/essentials/Essentials.git synced 2025-08-17 03:54:19 +02:00
Code Issues Releases Wiki Activity

Fix players retaining permissions when demoted.

Browse Source
This commit is contained in:
ElgarL
2012-01-29 10:54:24 +00:00
parent 3deff2afe7
commit 95885e46c9
4 changed files with 34 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
EssentialsGroupManager/.project
View File

@@ -10,6 +10,16 @@
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.ui.externaltools.ExternalToolBuilder</name>
<triggers>full,incremental,</triggers>
<arguments>
<dictionary>
<key>LaunchConfigHandle</key>
<value>&lt;project&gt;/.externalToolBuilders/GroupManager.launch</value>
</dictionary>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.eclipse.jdt.core.javanature</nature>