mirror of
https://github.com/clusterio/clusterio.git
synced 2026-11-15 23:24:52 +09:00
#update to new hotpatch (#203)
- fixes freeplay scenario - fixes that clicking the admin gui border kills the server
This commit is contained in:
1 parent
5bbd879f34
commit
3f2bd2653e
43 files changed
+189
-181
No files matched your search
@@ -1,5 +1,5 @@
|
||||
local hotpatch_tools = require 'hotpatch.mod-tools'
|
||||
hotpatch_tools.static_mod('hotpatch-remote-interface', '1.0.2', [===[
|
||||
hotpatch_tools.static_mod('hotpatch-remote-interface', '1.0.3', [===[
|
||||
--[[
|
||||
|
||||
Copyright 2018 Chrisgbk
|
||||
|
||||
Reference in new issue
Block a user