fix number of ships owned by player 4
treef47f552e0ddd6c20e241d9950434734fb4ac5aed
-rw-r--r-- 70 .gitignore
-rw-r--r-- 544 Makefile
-rw-r--r-- 1209 buildings.txt
-rw-r--r-- 9492 cities.txt
-rw-r--r-- 2107 consumation.txt
drwxr-xr-x - dist
-rw-r--r-- 25743 gui.c
-rw-r--r-- 881 gui.h
-rw-r--r-- 826 gui_menu.c
-rw-r--r-- 1138 gui_menu.h
-rw-r--r-- 145 gui_page.h
-rw-r--r-- 1696 imginterface.c
-rw-r--r-- 441 imginterface.h
-rw-r--r-- 55489 pato.c
-rw-r--r-- 8125 pato.h
-rw-r--r-- 21 players.txt
drwxr-xr-x - players
-rw-r--r-- 99 world.txt
-rw-r--r-- 2545 world3.png