cwen aad6b61e21 spacehulk: Add missing header for ports-gcc ...

While here:
- regen WANTLIB
- use srand_deterministic() when loading a game random seed from
  a savefile (spotted by sthen@, thanks!)

OK sthen@ jca@

2019-03-02 20:00:27 +00:00

..

patches

spacehulk: Add missing header for ports-gcc

2019-03-02 20:00:27 +00:00

pkg

…

distinfo

Remove -lpthread patching.

2013-08-09 19:04:49 +00:00

Makefile

spacehulk: Add missing header for ports-gcc

2019-03-02 20:00:27 +00:00