5 Jan
2018
5 Jan
'18
9:18 a.m.
On Fri, Jan 5, 2018 at 8:47 AM, Jef Driesen jef@libdivecomputer.org wrote:
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.
Fantastic!
Henrik