luanti-org/luanti
1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-10-12 16:15:20 +02:00
Code Activity

Fix on_successful_save -> onSuccessfulSave

Browse Source
This commit is contained in:
Loïc Blot
2019-01-04 11:33:04 +01:00
parent c1d7dbfc38
commit 4a7c97c5f6
5 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/remoteplayer.h
View File

@@ -139,7 +139,7 @@ public:
void setPeerId(session_t peer_id) { m_peer_id = peer_id; }
void on_successful_save();
void onSuccessfulSave();
private:
/*