diff options
author | Philippe Massart <philippe@philmassart.net> | 2017-09-20 09:23:39 -0700 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2017-09-20 09:25:46 -0700 |
commit | 9dd8726d12ab828ab5aa74a33014ac802ca71815 (patch) | |
tree | 937d683d0c69b4459693596fa7b89b87fd0cb1de /desktop-widgets | |
parent | 5b080beddef3e08b86eb53448e737b4867a50c1a (diff) | |
download | subsurface-9dd8726d12ab828ab5aa74a33014ac802ca71815.tar.gz |
Updated French documentation
This is a manually created single commit to incorporate the changes in
https://github.com/Subsurface-divelog/subsurface/pull/502
Closes #502
[Dirk Hohndel:]
I was able to manually merge that branch but it created a complete mess
out of the tree and brought several dozen commits in a second time, so
I gave up and instead created this single commit.
Signed-off-by: Philippe Massart <philippe@philmassart.net>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets')
0 files changed, 0 insertions, 0 deletions