1.5

Date: 11 December 2018

• The text box is always selected

1.4

Date: 3 September 2018

• Added the "clear" command to empty the terminal

1.3

Date: 27 August 2018

• History of entered commands

1.2

Date: 11 July 2018

• Fix version number
• Ability to refresh the map for players already connected
• Bug fix: Server didn't start on first boot
• Set the parameters at startup if they didn't exist
• Change the default port (7777 ⇾ 20000)

1.1

Date: 4 July 2018

• Logo
• Sending informations about the server

1.0

Date: 27 June 2018

Initial version