mirror of
https://github.com/jie65535/GrasscutterCommandGenerator.git
synced 2026-11-06 15:21:59 +08:00
Add remote resource support to DEBUG tools
This commit is contained in:
1 parent
240a64e47f
commit
d90cb70241
7 files changed
+767
-172
No files matched your search
@@ -65,6 +65,18 @@
|
||||
<Setting Name="ProjectResourcePath" Type="System.String" Scope="User">
|
||||
<Value Profile="(Default)" />
|
||||
</Setting>
|
||||
<Setting Name="RemoteResourceRepository" Type="System.String" Scope="User">
|
||||
<Value Profile="(Default)" />
|
||||
</Setting>
|
||||
<Setting Name="RemoteResourceBranch" Type="System.String" Scope="User">
|
||||
<Value Profile="(Default)">main</Value>
|
||||
</Setting>
|
||||
<Setting Name="RemoteResourceToken" Type="System.String" Scope="User">
|
||||
<Value Profile="(Default)" />
|
||||
</Setting>
|
||||
<Setting Name="UseRemoteResourceRepository" Type="System.Boolean" Scope="User">
|
||||
<Value Profile="(Default)">False</Value>
|
||||
</Setting>
|
||||
<Setting Name="IsUpgraded" Type="System.Boolean" Scope="User">
|
||||
<Value Profile="(Default)">False</Value>
|
||||
</Setting>
|
||||
@@ -81,4 +93,4 @@
|
||||
<Value Profile="(Default)">100</Value>
|
||||
</Setting>
|
||||
</Settings>
|
||||
</SettingsFile>
|
||||
</SettingsFile>
|
||||
Reference in new issue
Block a user