On 2017-12-14 09:06, Henrik B A wrote:

Would you consider creating a permanent & updated mirror of libdevcomputer
on GitHub?  I like browsing the source code in a browser, and GitHub is
such a good tool for doing that.

https://github.com/libdivecomputer/libdivecomputer