git backend: actually update local cache from remote
Robert Helling
helling at atdotde.de
Thu Jun 11 11:54:53 PDT 2015
On 11 Jun 2015, at 20:47, Robert C. Helling <helling at atdotde.de> wrote:
Hi,
> Somehow, we might make use of the fact that our files have more structure than just line numbers, namely they are xml fields.
a quick google search reveals that this http://www.cs.hut.fi/~ctl/ might be our man!
Best
Robert
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 495 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://lists.subsurface-divelog.org/pipermail/subsurface/attachments/20150611/7452f458/attachment.sig>
More information about the subsurface
mailing list