shortcut the call to [Path.add]. [Path.add] will anyway ignore the case [Filename (Raw_links _)], but this does not output the message "add ...tar.gz" in case nothing will be added.
shortcut the call to [Path.add].
[Path.add] will anyway ignore the case [Filename (Raw_links _)], but this does not output the message "add ...tar.gz" in case nothing will be added.

abate/opam,abate/opam