[2015-03-21 00:09:04 +0530] Abhinav Agarwal:
> + if ((!filename.contains('.')) ||
> (filename.contains('.') && !filename.endsWith(".xml") &&
> !filename.endsWith(".ssrf")))
Could we not just use:
if (!filename.endsWith(".xml") && !filename.endsWith(".ssrf"))
?
--
Gaetan
_______________________________________________
subsurface mailing list
[email protected]
http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
