diff options
author | sternenseemann <git@lukasepple.de> | 2020-04-23 19:06:26 +0200 |
---|---|---|
committer | sternenseemann <git@lukasepple.de> | 2020-04-23 19:17:30 +0200 |
commit | e39bfe918cc5ffc289bbe2afaa6df59be9181d27 (patch) | |
tree | 670ada4fea69702ed9ae075243f1754ab70caa9b /tests/games | |
parent | dbff1d232f9462b4992b13c1b4341e4d018420b8 (diff) |
pkgs/sternenseemann: update/fix logbook
* Fix couple of build errors with more recent packages * switch build system to dune * clean up package
Diffstat (limited to 'tests/games')
0 files changed, 0 insertions, 0 deletions