diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2016-04-03 18:48:19 -0500 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2016-04-04 14:17:30 -0700 |
| commit | 8b710f4d6cde00bf598031fafa9e3f1d8c2708a5 (patch) | |
| tree | 4ac3990f224fea6a802c10475f0cdb840ebc077e /SupportedDivecomputers.html | |
| parent | 410fd222d15dca8673606133499cefde780f163b (diff) | |
| download | subsurface-8b710f4d6cde00bf598031fafa9e3f1d8c2708a5.tar.gz | |
Git storage: after successful merge push merged commit to upstream
Otherwise a merge will only make it to cloud storage the second time we
connect.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'SupportedDivecomputers.html')
0 files changed, 0 insertions, 0 deletions