diff options
| author |  Martin Měřinský <mermar@centrum.cz> | 2018-05-02 06:52:58 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2018-07-02 08:29:42 -0700 |
| commit | eec9270f32d9e9a7b11b825464b713d3160bd633 (patch) | |
| tree | 9c525a43e83fd8fdf04bb7ff05e4b9f0afb26719 /core/dive.c | |
| parent | f86dd889bffb791e94fb68d4069ebe0c220505e1 (diff) | |
| download | subsurface-eec9270f32d9e9a7b11b825464b713d3160bd633.tar.gz | |
List Ubuntu 18.04 packages needed for build.
Closes #1229
[Dirk Hohndel: minor white space adjustment]
Signed-off-by: Martin Měřinský <mermar@centrum.cz>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'core/dive.c')
0 files changed, 0 insertions, 0 deletions