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 /LICENSE | |
| 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 'LICENSE')
0 files changed, 0 insertions, 0 deletions