diff options
| author |  Robert C. Helling <helling@atdotde.de> | 2015-10-27 12:08:57 +0100 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2015-10-28 07:50:38 +0900 |
| commit | 97e53649fd140afa5bb721d87063b7808d8da44f (patch) | |
| tree | d99b0960df0dfdb68aca258f290fba381e8ed4c1 /Documentation/user-manual_fr.html.git | |
| parent | dfc1e36c0e6c4486fcb2db6bdafe4046de594e5e (diff) | |
| download | subsurface-97e53649fd140afa5bb721d87063b7808d8da44f.tar.gz | |
Notes from planned dives contain html. Convert to text for printing.
Otherwise we would be printing html source with too many tags
for humans to spot the content.
[Dirk Hohndel: changed the string comparison to use our helper]
Signed-off-by: Robert C. Helling <helling@atdotde.de>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/user-manual_fr.html.git')
0 files changed, 0 insertions, 0 deletions